×

zbMATH — the first resource for mathematics

Found 15 Documents (Results 1–15)

100
MathJax
Proceedings of the 19th ACM international conference on hybrid systems: computation and control, HSCC 2016, Vienna, Austria, April 12–14, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3955-1). 195-204 (2016).
MSC:  68Q85 68Q45 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Bjørner, Nikolaj (ed.) et al., FM 2015: formal methods. 20th international symposium, Oslo, Norway, June 24–26, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9109, 551-569 (2015).
MSC:  68Q60 68M20
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 167-178 (2013).
PDF BibTeX XML Cite
Full Text: DOI
J. Comput. Syst. Sci. Int. 50, No. 5, 847-857 (2011); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2011, No. 5, 164-173 (2011).
MSC:  93C85 93B50 49N90
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