Author:
Delzanno Giorgio,Raskin Jean-François,Van Begin Laurent
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference37 articles.
1. Abdulla PA, Čerāns K, Jonsson B, Tsay YK (1996) General decidability theorems for infinite-state systems. In: Proceedings of the 11th annual symposium on logic in computer science (LICS’96), New Brunswick, NJ, 27-30 July 1996. IEEE Press, New York, pp 313–321
2. Ajmone Marsan M, Balbo G, Conte G, Donatelli S, Franceschinis G (1995) Modelling with generalized stochastic Petri Nets. Wiley series in parallel computing. Wiley, New York
3. Bérard B, Fribourg L (1999) Reachability analysis of (timed) Petri Nets using real arithmetic. In: Proceedings of the 10th international conference on concurrency theory (CONCUR’99), Eindhoven, August 1999. Lecture notes in computer science, vol 1664, Springer, Berlin Heidelberg New York, pp 178–193
4. Boigelot B, Wolper P (1998) Verifying systems with infinite but regular state space. In: Proceedings of the 10th international conference on computer aided verification (CAV’98). Lecture notes in computer science, vol 1427, Springer, Berlin Heidelberg New York, pp 88–97
5. Bouajjani A, Mayr R (1999) Model checking Lossy vector addition systems. In: Proceedings of the 16th annual symposium on theoretical aspects of computer science (STACS’99), Trier, Germany, March 1999. Lecture notes in computer science, vol 1563, Springer, Berlin Heidelberg New York, pp 323–333
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献