Browse by ISBN
Jump to: Book Section
Number of items: 1.
Book Section
Hansen, Mikkel and Larsen, Kim Guldstrand and Mardare, Radu and Pedersen, Mathias Ruggaard and Xue, Bingtian; Franzle, Martin and Kapur, Deepak and Zhan, Naijun, eds. (2016) A complete approximation theory for weighted transition systems. In: Dependable Software Engineering. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer-Verlag, CHN, pp. 213-228. ISBN 9783319476766