dblp.uni-trier.dewww.uni-trier.de

Vladimír Janousek

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
5EERadek Kocí, Vladimír Janousek: System Design with Object Oriented Petri Nets Formalism. ICSEA 2008: 421-426
2001
4EEMilan Ceska, Vladimír Janousek, Tomás Vojnar: Analysis and Verification Queries over Object-Oriented Petri Nets. EUROCAST 2001: 369-384
3 Milan Ceska, Vladimír Janousek, Tomás Vojnar: Generating and using state spaces of object-oriented Petri nets. Comput. Syst. Sci. Eng. 16(3): 183-193 (2001)
1999
2 Milan Ceska, Vladimír Janousek, Tomás Vojnar: Towards Verifying Distributed Systems Using Object-Oriented Petri Nets. EUROCAST 1999: 90-104
1997
1 Milan Ceska, Vladimír Janousek, Tomás Vojnar: PNtalk - a Computerized Tool for Object Oriented Petri Nets Modelling. EUROCAST 1997: 591-610

Coauthor Index

1Milan Ceska [1] [2] [3] [4]
2Radek Kocí [5]
3Tomás Vojnar [1] [2] [3] [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)