Robust Safety of Timed Automata
Formal Methods in System Design - Netherlands
doi 10.1007/s10703-008-0056-7
Full Text
Open PDFAbstract
Available in full text
Date
September 13, 2008
Authors
Publisher
Springer Science and Business Media LLC
Available in full text
September 13, 2008
Springer Science and Business Media LLC