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
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" }