Synthesis of Non-Interferent Timed Systems
From MaRDI portal
Publication:3648818
DOI10.1007/978-3-642-04368-0_5zbMath1262.68084OpenAlexW1493125319MaRDI QIDQ3648818
Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux
Publication date: 1 December 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/inria-00493636/file/formats-09.pdf
Related Items
Cites Work