Skip to main content

Recent Developments in FDR

Philip Armstrong‚ Michael Goldsmith‚ Gavin Lowe‚ Joel Ouaknine‚ Hristina Palikareva‚ A. W. Roscoe and James Worrell

Book Title
CAV 2012: Proceedings of the 24th International Conference on Computer Aided Verification
Editor
P. Madhusudan and S. A. Seshia
Pages
699–704
Publisher
Springer−Verlag Berlin Heidelberg
Series
Lecture Notes in Computer Science
Volume
7358
Year
2012