Models of Reactive Systems - Communication, Concurrency and Causality (bibtex)
by ,
Reference:
Models of Reactive Systems - Communication, Concurrency and Causality (Bernhard Schätz, Holger Giese), In Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers (Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz, eds.), Springer, volume 6100, 2011.
Bibtex Entry:
@InProceedings{SchaetzGiese2011,
AUTHOR = {Schätz, Bernhard and Giese, Holger},
TITLE = {{Models of Reactive Systems - Communication, Concurrency and Causality}},
YEAR = {2011},
BOOKTITLE = {Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers},
VOLUME = {6100},
PAGES = {3-15},
EDITOR = {Giese, Holger and Karsai, Gabor and Lee, Edward and Rumpe, Bernhard and Schätz, Bernhard},
SERIES = {Lecture Notes in Computer Science},
PUBLISHER = {Springer},
URL = {http://www.springerlink.com/content/fj23131k471k4ru2/}
}
Powered by bibtexbrowser