Author:
Fisman Dana,Kupferman Orna
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Lecture Notes in Computer Science;N. Amla,2003
2. Antsaklis, P.: Proceedings of the IEEE, special issue on hybrid systems: theory and applications 88(7) (2000)
3. de Jong, H., Gouze, J.-L., Hernandez, C., Page, M., Sari, T., Geiselmann, J.: Qualitative simulation of genetic regulatory networks using piecewise-linear models. Bulletin of Mathematical Biology 66, 301–340 (2004)
4. LNCS;E. Emerson,1985
5. Emerson, E., Lei, C.-L.: Efficient model checking in fragments of the propositional μ-calculus. In: Proc. 1st LICS, pp. 267–278 (1986)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Perspective Games;ACM Transactions on Computational Logic;2024-01-17
2. Games with Full, Longitudinal, and Transverse Observability;Lecture Notes in Computer Science;2020