×

Found 62 Documents (Results 1–62)

Optimal constructions for active diagnosis. (English) Zbl 1359.68169

Seth, Anil (ed.) et al., 33nd international conference on foundations of software technology and theoretical computer science, FSTTCS 2013, Guwahati, India, December 12–14, 2013. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-64-4). LIPIcs – Leibniz International Proceedings in Informatics 24, 527-539 (2013).
MSC:  68Q45 91A80 93B07
PDFBibTeX XMLCite
Full Text: DOI

Hierarchical conformance checking of process models based on event logs. (English) Zbl 1381.68214

Colom, José-Manuel (ed.) et al., Application and theory of Petri nets and concurrency. 34th international conference, PETRI NETS 2013, Milan, Italy, June 24–28, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38696-1/pbk). Lecture Notes in Computer Science 7927, 291-310 (2013).
MSC:  68Q85 68T05 90B70
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

all top 5

Author

all top 3

Main Field

all top 3

Software