Author:
Isobe Yoshinao,Roggenbach Markus
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Bergstra JA, Ponse A, Smolka SA (eds) (2001) Handbook of Process Algebra. Elsevier Science Inc., New York, NY, USA
2. Buth B, Schrönen M (1999) Model-checking the architectural design of a fail-safe communication system for railway interlocking systems. In: FM’99, Springer, LNCS 1709
3. Buth B, Peleska J, Shi H (1998) Combining methods for the livelock analysis of a fault-tolerant system. In: AMAST’98, Springer, LNCS 1548, pp 124–139
4. Consortium E (ed) (2002) eft/pos 2000 Specification, version 1.0.1. EP2 Consortium
5. Dutertre B, Schneider S (1997) Using a PVS embedding of CSP to verify authentication protocols. In: TPHOL 1997, Springer, LNCS 1275, pp 121–136
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献