Author:
Boroday Sergiy,Petrenko Alexandre,Groz Roland
Subject
General Computer Science,Theoretical Computer Science
Reference44 articles.
1. Alur, R., C. Courcoubetis, M. Yannakakis, Distinguishing Tests for Nondeterministic and Probabilistic Machines, in: 27th ACM Symp. on Theory of Computing (1995), 363–372
2. Alur, R., and D. Dill, Automata for Modeling Real-Time Systems, in: ICALP (1990), 322–335
3. Alur, R., and T. Henzinger, Reactive Modules, in: 11th LICS (1996), 207–218
4. Bekaert, P., and E. Steegmans, Non-determinism in Conceptual Models, in: Tenth OOPSLA Workshop on Behavioral Semantics (2001), 24–34
5. Bounded Model Checking;Biere;Advances in Computers,2003
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献