Layering of Real-Time Distributed Processes

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined
Title of host publication	Formal Techniques in Real-Time and Fault-Tolerant Systems (Springer-Verlag LNCS 863)
Place of Publication	Lubeck, Germany
Pages	393-417
Publication status	Published - 7 Oct 1994

Keywords

@inproceedings{4e4714fb682c483a8f15c70a07aa988d,

title = "Layering of Real-Time Distributed Processes",

keywords = "METIS-119309",

author = "W.P.M. Janssen and Mannes Poel and Q. Xu and Jakob Zwiers",

year = "1994",

month = oct,

day = "7",

language = "Undefined",

isbn = "3-540-58468-4",

pages = "393--417",

booktitle = "Formal Techniques in Real-Time and Fault-Tolerant Systems (Springer-Verlag LNCS 863)",

}