Author:
Hundeshagen Norbert,Lange Martin
Publisher
Springer International Publishing
Reference36 articles.
1. Lecture Notes in Computer Science;PA Abdulla,2002
2. I. Accellera Organization. Formal semantics of Accellera property specification language (2004). In Appendix B. http://www.eda.org/vfv/docs/PSL-v1.1.pdf
3. Lecture Notes in Computer Science;R Axelsson,2010
4. Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press, Cambridge (2008)
5. Berstel, J.: Transductions and Context-Free Languages. Leitfäden der angewandten Mathematik und Mechanik. Teubner (1979)