Detail publikace

Preserving Liveness with Rule-Based Refinement of Place/Transition Systems

URBÁŠEK Milan a PADBERG Julia. Preserving Liveness with Rule-Based Refinement of Place/Transition Systems. In: Proceedings of Sixth World Conference on Integrated Design and Process Technology (IDPT'02). Pasadena, 2002, s. 10.
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Urbášek Milan, Ing. (FIT VUT)
Padberg Julia ( neznámá)
Rok
2002
Strany
10
Sborník
Proceedings of Sixth World Conference on Integrated Design and Process Technology (IDPT'02)
Konference
Sixth World Conference on Integrated Design and Process Technology , Pasadena, US
Místo
Pasadena, US
BibTeX 
@INPROCEEDINGS{FITPUB6983,
   author = "Milan Urb\'{a}\v{s}ek and Julia Padberg",
   title = "Preserving Liveness with Rule-Based Refinement of Place/Transition Systems",
   pages = 10,
   booktitle = "Proceedings of Sixth World Conference on Integrated Design and Process Technology (IDPT'02)",
   year = 2002,
   location = "Pasadena, US",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6983"
}
Nahoru