Publisher
Springer International Publishing
Reference14 articles.
1. R. Alur, C. Courcoubetis, D. Dill, Model checking in dense real-time. Inf. Comput. 104(1), 2–34 (1993)
2. A. Janowska, W. Penczek, A. Półrola, A. Zbrzezny, Using integer time steps for checking branching time properties of time Petri nets. in Trans. Petri Nets and Other Models of Concurrency, ed. by M. Koutny, W.M.P. van der Aalst, A. Yakovlev. LNCS, vol. 8100(8) (Springer, Berlin, 2013), pp. 89–105
3. M. Knapik, A. Niewiadomski, W. Penczek, A. Półrola, M. Szreter, A. Zbrzezny, Parametric model checking with VerICS, in Trans. Petri Nets and Other Models of Concurrency, ed. by M. Knapik et al. LNCS, vol. 6550(4) (Springer, Berlin, 2010), pp. 98–120
4. M. Knapik, M. Szreter, W. Penczek, Bounded parametric model checking for elementary net systems, in Trans. Petri Nets and Other Models of Concurrency, ed. by M. Knapik et al. LNCS, vol. 6550(4), 42–71 (Springer, Berlin, 2010)
5. A. Mazurkiewicz. Trab theory, in Advances in Petri Nets 1986, ed. by W. Braner, W. Reisig, G. Rozenberg. LNCS, vol. 255 (Springer, Berlin, 1986), pp. 279–324