Stefan Hudák

According to our database¹, Stefan Hudák authored at least 3 papers between 2008 and 2012.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2012

General composition for high level Petri nets and its properties.

[BibT_eX]

[DOI]

Central Eur. J. Comput. Sci., 2012

Verification of Systems: Deadlock Analysis Based on Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on ICT in Education, 2012

2008

APC Semantics for Petri Nets.

[BibT_eX]

[DOI]

Informatica (Slovenia), 2008