Publications

Urban Rail Transit, 8, pp. 217-245. ISSN 2199-6679

FORMAL ASPECTS OF COMPUTING, 28 (3)., pp. 345-379. ISSN 0934-5043

ACTA CYBERNETICA-SZEGED, 22 (3)., pp. 573-589. ISSN 0324-721X

In: Application and Theory of Petri Nets and Concurrency Lecture Notes in Computer Science (9698) Springer International Publishing, Cham (Svájc), pp. 123-132.

In: Application and Theory of Petri Nets and Concurrency Lecture Notes in Computer Science (9115) Springer International Publishing, Switzerland, pp. 309-328. ISSN 0302-9743

In: Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science (9035) Springer, Berlin; Heidelberg, pp. 643-657.

ACTA CYBERNETICA-SZEGED, 21 (3)., pp. 401-417. ISSN 0324-721X

Proceedings of the Estonian Academy of Sciences, 62 (1)., pp. 59-70.

In: Proceedings of the 13th Symposium on Programming Languages and Software Tools, SPLST'13, 2013-08-26 - 2013-08-27, Szeged, Magyarország.

In: Proceedings of the 13th Symposium on Programming Languages and Software Tools, SPLST'13, 2013-08-26 - 2013-08-27, Szeged, Magyarország.