×

zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

100
MathJax
Godo, Lluís (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 8th European conference, ECSQARU 2005, Barcelona, Spain, July 6–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27326-3/pbk). Lecture Notes in Computer Science 3571. Lecture Notes in Artificial Intelligence, 638-649 (2005).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
Brim, Lubos (ed.) et al., PDMC 2002. Proceedings of the first international workshop on parallel and distributed model checking (satellite workshop of CONCUR 2002), Brno, Czech Republic, August 19, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 68, No. 4, 503-522 (2002).
MSC:  68Q60 68W15 68Q45
PDF BibTeX XML Cite
Full Text: Link