Back to University of Twente portal
Verification of Modal Properties Using Boolean Equation Systems
Mader, Angelika (1997) Verification of Modal Properties Using Boolean Equation Systems. Edition versal 8 . Bertz Verlag, Berlin, Germany. ISBN 9783929470581
![[img]](http://doc.utwente.nl/64253/1/Mad97.jpg%2Dthumb.gif)
| HTML 19Kb | |
![[img]](http://doc.utwente.nl/style/images/fileicons/application_pdf.png)
| PDF 878Kb |
| Item Type: | Book |
| Link to this item: | http://purl.utwente.nl/publications/64253 |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page