×

Found 3 Documents (Results 1–3)

Effective synthesis of asynchronous systems from GR(1) specifications. (English) Zbl 1326.68186

Kuncak, Viktor (ed.) et al., Verification, model checking, and abstract interpretation. 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22–24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27939-3/pbk). Lecture Notes in Computer Science 7148, 283-298 (2012).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

Year of Publication

Main Field

Software