Synchronizing clocked transition systems

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

Original language	Undefined
Title of host publication	Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Place of Publication	Lyngby, Denmark
Pages	173-185
Publication status	Published - 19 Jan 1998

Keywords

@inproceedings{c30da1c011f84d038ba6ce9cd9d744f0,

title = "Synchronizing clocked transition systems",

keywords = "METIS-119200",

author = "Mannes Poel and Jakob Zwiers",

year = "1998",

month = jan,

day = "19",

language = "Undefined",

isbn = "3-540-65003-2",

pages = "173--185",

booktitle = "Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems",

}