×

zbMATH — the first resource for mathematics

Found 21 Documents (Results 1–21)

100
MathJax
Černá, Ivana (ed.) et al., SOFSEM 2011: Theory and practice of computer science. 37th conference on current trends in theory and practice of computer science, Nový Smokovec, Slovakia, January 22–28, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-18380-5/pbk). Lecture Notes in Computer Science 6543, 46-72 (2011).
MSC:  68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Cybern. Syst. Anal. 46, No. 1, 105-114 (2010); translation from Kibern. Sist. Anal. 2010, No. 1, 119-128 (2010).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Habermehl, P. (ed.) et al., Proceedings of the 8th, 9th, and 10th international workshops on verification of infinite-state systems (INFINITY 2006, 2007, 2008), Bonn, Germany, August 26, 2006, Lisbon, Portugal, September 8, 2007, Toronto, Canada, August 23, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 239, 155-165 (2009).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Leuschel, Michael (ed.) et al., Integrated formal methods. 7th international conference, IFM 2009, Düsseldorf, Germany, February 16–19, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00254-0/pbk). Lecture Notes in Computer Science 5423, 88-102 (2009).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Bonsangue, Marcello M. (ed.) et al., Formal methods for open object-based distributed systems. 9th IFIP WG 6.1 international conference FMOODS 2007, Paphos, Cyprus, June 6–8, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-72919-8/pbk). Lecture Notes in Computer Science 4468, 141-156 (2007).
MSC:  68N19
PDF BibTeX XML Cite
Full Text: DOI
Najm, Elie (ed.) et al., Formal techniques for networked and distributed systems – FORTE 2006. 26th IFIP WG 6.1 international conference, Paris, France, September 26–29, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-46219-4/pbk). Lecture Notes in Computer Science 4229, 404-419 (2006).
MSC:  68M14 68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Year of Publication
all top 3
Classification
all top 3
Software