Approximate Analysis of Homeostasis of Gene Networks by Linear Temporal Logic using Network Motifs Topics: Systems Biology In Proceedings of the International Conference on Bioinformatics Models, Methods and Algorithms - Volume 0BIOSTEC, 93-101, 2015 , Lisbon, Portugal