zbMATH — the first resource for mathematics

Found 4 Documents (Results 1–3)

Huth, Michael R. A. (ed.), Proceedings of the fourth international workshop on automated verification of critical systems (AVoCS 2004), London, UK, September 4, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 128, No. 6, 295-310 (2005).
MSC:  68Q60 68Q87
BibTeX Cite
Full Text: Link
Benvenuti, Luca (ed.) et al., Positive systems. Proceedings of the first multidisciplinary international symposium on positive systems: Theory and applications (POSTA 2003), Rome, Italy, August 28–30, 2003. Berlin: Springer (ISBN 3-540-40342-6/pbk). Lecture Notes in Control and Information Sciences 294, 71-78 (2003).
MSC:  93C65 68Q85
BibTeX Cite
Latouche, Guy (ed.) et al., Matrix-analytic methods. Theory and applications. Proceedings of the 4th international conference, Adelaide, Australia, July 14–16, 2002. Singapore: World Scientific (ISBN 981-238-051-5). 163-182 (2002).
MSC:  93C65 68Q85
BibTeX Cite

Filter Results by …

Document Type
Year of Publication