Detail publikačního výsledku

Towards Verifying Complex Distributed Systems Using Object-Oriented Petri Nets

ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T.

Original Title

Towards Verifying Complex Distributed Systems Using Object-Oriented Petri Nets

English Title

Towards Verifying Complex Distributed Systems Using Object-Oriented Petri Nets

Type

Paper in proceedings outside WoS and Scopus

Keywords

Petri nets, object-orientation, formal analysis and verification

Key words in English

Petri nets, object-orientation, formal analysis and verification

Authors

ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T.

Released

01.01.1999

Publisher

unknown

Location

Vienna

Book

Proceedings of the 7th International Conference on Computer Aided Systems Theory and Technology -- EUROCAST'99

Pages from

229

Pages to

232

Pages count

4

Full text in the Digital Library

BibTex

@inproceedings{BUT191474,
  author="Milan {Češka} and Vladimír {Janoušek} and Tomáš {Vojnar}",
  title="Towards Verifying Complex Distributed Systems Using Object-Oriented
 Petri Nets",
  booktitle="Proceedings of the 7th International Conference on Computer Aided Systems Theory and Technology -- EUROCAST'99",
  year="1999",
  pages="229--232",
  publisher="unknown",
  address="Vienna"
}