Detail publikace

Rule-Based Refinement for Place/Transition Systems: Preserving Liveness-Properties

GAJEWSKY Maike, PADBERG Julia a URBÁŠEK Milan. Rule-Based Refinement for Place/Transition Systems: Preserving Liveness-Properties. Forschungsberichte des Fachbereichs Informatik, roč. 2001, č. 8. ISSN 1436-9915.
Typ
technická zpráva
Jazyk
angličtina
Autoři
Gajewsky Maike ( neznámá)
Padberg Julia ( neznámá)
Urbášek Milan, Ing. (UIVT FEI VUT)
Rok
2001
Strany
63
Časopis
Forschungsberichte des Fachbereichs Informatik, roč. 2001, č. 8, ISSN 1436-9915
Vydavatel
Technische Universität Berlin
Místo
Berlin, DE
BibTeX
@TECHREPORT{FITPUB6541,
   author = "Maike Gajewsky and Julia Padberg and Milan Urb\'{a}\v{s}ek",
   title = "Rule-Based Refinement for Place/Transition Systems: Preserving Liveness-Properties",
   pages = 63,
   journal = "Forschungsberichte des Fachbereichs Informatik",
   volume = 2001,
   number = 8,
   year = 2001,
   location = "Berlin, DE",
   publisher = "Technical University of Berlin",
   ISSN = "1436-9915",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6541"
}
Nahoru