×

zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

Larsen, Kim Guldstrand (ed.) et al., Reachability problems. 10th international workshop, RP 2016, Aalborg, Denmark, September 19–21, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-45993-6/pbk; 978-3-319-45994-3/ebook). Lecture Notes in Computer Science 9899, 119-133 (2016).
BibTeX Cite
Full Text: DOI
André, Étienne (ed.) et al., 2nd international workshop on synthesis of complex parameters, SynCoP’15, April 11, 2015, London, UK. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 44, 48-62 (2015).
MSC:  93B50 93C30
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Author
Year of Publication
Classification
Software