Detail publikace

Analysis and Verification Queries over Object-Oriented Petri Nets

ČEŠKA Milan, JANOUŠEK Vladimír a VOJNAR Tomáš. Analysis and Verification Queries over Object-Oriented Petri Nets. Lecture Notes in Computer Science, roč. 2001, č. 2178, s. 365-384. ISSN 0302-9743.
Název česky
Specifikace analytických a verifikačních dotazů nad objektově orientovanými Petriho sítěmi
Typ
článek v časopise
Jazyk
angličtina
Autoři
URL
Abstrakt

Článek navrhuje několik způsobů, jak specifikovat dotazy při formální analýze či verifikaci nad objektově orientovanými Petriho sítěmi.

Rok
2001
Strany
365-384
Časopis
Lecture Notes in Computer Science, roč. 2001, č. 2178, ISSN 0302-9743
Kniha
Formal Methods and Tools for Computer Science
Vydavatel
Springer Verlag
Místo
Berlín, DE
BibTeX
@ARTICLE{FITPUB6572,
   author = "Milan \v{C}e\v{s}ka and Vladim\'{i}r Janou\v{s}ek and Tom\'{a}\v{s} Vojnar",
   title = "Analysis and Verification Queries over Object-Oriented Petri Nets",
   pages = "365--384",
   booktitle = "Formal Methods and Tools for Computer Science",
   journal = "Lecture Notes in Computer Science",
   volume = 2001,
   number = 2178,
   year = 2001,
   location = "Berl\'{i}n, DE",
   publisher = "Springer Verlag",
   ISSN = "0302-9743",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6572"
}
Nahoru