Academic Journal
Verification of Reactive Systems: Formal Methods and Algorithms. By Klaus Schneider. Published by Springer, Berlin, Germany, Texts in Theoretical Computer Science Series, 2004. ISBN: 3-540-00296-0, pp 600
| Title: | Verification of Reactive Systems: Formal Methods and Algorithms. By Klaus Schneider. Published by Springer, Berlin, Germany, Texts in Theoretical Computer Science Series, 2004. ISBN: 3-540-00296-0, pp 600 |
|---|---|
| Authors: | Joël Ouaknine |
| Source: | Software Testing, Verification and Reliability. 15:202-203 |
| Publisher Information: | Wiley, 2005. |
| Publication Year: | 2005 |
| Subject Terms: | 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology |
| Document Type: | Article |
| Language: | English |
| ISSN: | 1099-1689 0960-0833 |
| DOI: | 10.1002/stvr.330 |
| Access URL: | https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/stvr.330 http://onlinelibrary.wiley.com/doi/10.1002/stvr.330/pdf https://dblp.uni-trier.de/db/journals/stvr/stvr15.html#Ouaknine05 https://onlinelibrary.wiley.com/doi/pdf/10.1002/stvr.330 https://onlinelibrary.wiley.com/doi/abs/10.1002/stvr.330 |
| Rights: | Wiley TDM |
| Accession Number: | edsair.doi.dedup.....aa4618721f1c505b6aa13ac9a9044d97 |
| Database: | OpenAIRE |
| ISSN: | 10991689 09600833 |
|---|---|
| DOI: | 10.1002/stvr.330 |