Detail publikace

Reasoning about Categories of Petri Nets

ČEŠKA Milan a URBÁŠEK Milan. Reasoning about Categories of Petri Nets. In: Proceedings of the IEEE TC-ECBS + TF RE and IFIP WG10.1 Workshop - Joint Workshop on Formal Specifications of Computer-Based Systems. Edinburgh, Scotland: University of Stirling, 2000, s. 67-70. ISBN 1-85-769121-0.
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Češka Milan, Prof. RNDr., CSc. (UIVT FEI VUT)
Urbášek Milan, Ing. (UIVT FEI VUT)
Rok
2000
Strany
67-70
Sborník
Proceedings of the IEEE TC-ECBS + TF RE and IFIP WG10.1 Workshop - Joint Workshop on Formal Specifications of Computer-Based Systems
Konference
IEEE TC-ECBS + TF RE and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, Napier University, Edinburgh, Scotland, GB
ISBN
1-85-769121-0
Vydavatel
University of Stirling
Místo
Edinburgh, Scotland, GB
BibTeX 
@INPROCEEDINGS{FITPUB6537,
   author = "Milan \v{C}e\v{s}ka and Milan Urb\'{a}\v{s}ek",
   title = "Reasoning about Categories of Petri Nets",
   pages = "67--70",
   booktitle = "Proceedings of the IEEE TC-ECBS + TF RE and IFIP WG10.1 Workshop - Joint Workshop on Formal Specifications of Computer-Based Systems",
   year = 2000,
   location = "Edinburgh, Scotland, GB",
   publisher = "University of Stirling",
   ISBN = "1-85-769121-0",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6537"
}
Nahoru