Recent developments in FDR
Philip Armstrong‚ Michael Goldsmith‚ Gavin Lowe‚ Joël Ouaknine‚ Hristina Palikareva‚ AW Roscoe and James Worrell
Book Title
Computer Aided Verification
Pages
699–704
Publisher
Springer Berlin/Heidelberg
Year
2012
Philip Armstrong‚ Michael Goldsmith‚ Gavin Lowe‚ Joël Ouaknine‚ Hristina Palikareva‚ AW Roscoe and James Worrell