Author:
Nepomniaschy V. A.,Shilov N. V.,Bodin E. V.,Kozura V. E.
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Bergstra J.A., Middelburg C.A., Usenko Y.S. Discrete time process algebra and the semantics of SDL. Technical report SEN-R9809, CWI, June 1998.
2. Bodin E.V., Kozura V.E., Shilov N.V. Experiments with model checking for μ-calculus in specification and verification project REAL. Proc. of the Fifth New Zealand Formal Program Development Colloquium, IIMS Technical Report 99-1, 1999, 1–18.
3. Bošnački D. et al. Model checking SDL with Spin, TACAS/ETAPS 2000, Lect. Notes in Comp. Sci., 2000, 363–377.
4. Bozga M. et al. IF: An intermediate representation and validation environment for timed asynchronous systems, FM’99, Vol. I, Lect. Notes in Comp. Sci., 1999, v. 1708, 307–327.
5. Broy M. Towards a formal foundation of the specification and description language SDL, Formal Aspects of Computing, v. 3, n. 1, 1991, 21–57.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献