Author:
Jensen Peter Gjøl,Srba Jiří,Ulrik Nikolaj Jensen,Virenfeldt Simon Mejlby
Publisher
Springer International Publishing
Reference43 articles.
1. Lecture Notes in Computer Science;T Babiak,2012
2. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)
3. Lecture Notes in Computer Science;A Biere,1999
4. Lecture Notes in Computer Science;FM Bønneland,2018
5. Lecture Notes in Computer Science;F Bønneland,2018