Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings > Verifying invariance properties of timed systems with duration variables
Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings |
Hans Langmaack; Willem-Paul de Roever; Jan Vytopil
Springer Berlin Heidelberg
Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings
Verifying invariance properties of timed systems with duration variables
Authors

Ahmed Bouajjani; Rachid Echahed; Riadh Robbana

ARI Id

1664732869049_2987587

Access

Not Available Free

Pages

193-210

DOI

10.1007/3-540-58468-4_166

Chapter URL

https://rd.springer.com/chapter/10.1007/3-540-58468-4_166

Table of Contents of Book
Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings