Author:
Chaudhuri Kaustuv,Doligez Damien,Lamport Leslie,Merz Stephan
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. TLAPS web-site,
http://www.msr-inria.inria.fr/~doligez/tlaps
2. TLA + Toolbox,
http://www.tlaplus.net/tools/tla-toolbox/
3. Alpern, B., Schneider, F.B.: Defining liveness. Inf. Process. Lett. 21(4), 181–185 (1985)
4. Lecture Notes in Artificial Intelligence;R. Bonichon,2007
5. Lecture Notes in Computer Science;T. Bouton,2009
Cited by
31 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献