Author:
Garavel Hubert,Lang Frédéric,Mateescu Radu,Serwe Wendelin
Publisher
Springer Berlin Heidelberg
Reference52 articles.
1. Andersen, H.R.: Model Checking and Boolean Graphs. TCS 126(1), 3–30 (1994)
2. Lecture Notes in Computer Science;D. Bergamini,2005
3. Berthomieu, B., Bodeveix, J.-P., Farail, P., Filali, M., Garavel, H., Gaufillet, P., Lang, F., Vernadat, F.: FIACRE: An Intermediate Language for Model Verification in the Topcased Environment. In: ERTS (2008)
4. Blom, S., Orzan, S.: Distributed state space minimization. STTT 7, 280–291 (2005)
5. Champelovier, D., Clerc, X., Garavel, H., Guerte, Y., McKinty, C., Lang, F., Serwe, W., Smeding, G.: Reference Manual of the Lotos NT to Lotos Translator (Version 5.1). Tech. Report INRIA/VASY, 117 pages (2010)
Cited by
91 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献