Detail publikace

SFC Validation via Petri Nets

KOLÁŘ Dušan. SFC Validation via Petri Nets. In: Proceedings of XXIst International Colloquium ASIS'99. Krnov: MARQ, 1999, s. 391-396. ISBN 80-85988-41-0.
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Kolář Dušan, Dr. Ing. (UIVT FEI VUT)
Rok
1999
Strany
391-396
Sborník
Proceedings of XXIst International Colloquium ASIS'99
Konference
21st International Workshop on Advanced Simulation of Systems ASIS'99, Krnov, CZ
ISBN
80-85988-41-0
Vydavatel
MARQ
Místo
Krnov, CZ
BibTeX 
@INPROCEEDINGS{FITPUB6016,
   author = "Du\v{s}an Kol\'{a}\v{r}",
   title = "SFC Validation via Petri Nets",
   pages = "391--396",
   booktitle = "Proceedings of XXIst International Colloquium ASIS'99",
   year = 1999,
   location = "Krnov, CZ",
   ISBN = "80-85988-41-0",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6016"
}
Nahoru