Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press (2008)
2. Ciarlet, P.G.: Introduction to Numerical Linear Algebra and Optimisation. Cambridge University Press (1989)
3. Lecture Notes in Computer Science;R. Glück,2011
4. Lecture Notes in Computer Science;R. Glück,2011
5. Gondran, M., Minoux, M.: Graphs, Dioids and Semirings. Springer (2008)