×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Artho, Cyrille (ed.) et al., Automated technology for verification and analysis. 14th international symposium, ATVA 2016, Chiba, Japan, October 17–20, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-46519-7/pbk; 978-3-319-46520-3/ebook). Lecture Notes in Computer Science 9938, 287-303 (2016).
MSC:  68Q60 68Q85
BibTeX Cite
Full Text: DOI
D’Argenio, Pedro R. (ed.) et al., CONCUR 2013 – concurrency theory. 24th international conference, CONCUR 2013, Buenos Aires, Argentina, August 27–30, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40183-1/pbk). Lecture Notes in Computer Science 8052, 91-105 (2013).
MSC:  68Q85 68Q55 68Q60
BibTeX Cite
Full Text: DOI

Filter Results by …

Year of Publication
Classification