×

Found 17 Documents (Results 1–17)

Computation of partial automata through span composition. (English) Zbl 1143.68397

Moreno Díaz, Roberto (ed.) et al., Computer aided systems theory – EUROCAST 2005. 10th international conference on computer aided systems theory, Las Palmas de Gran Canaria, Spain, February 7–11, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-29002-8/pbk). Lecture Notes in Computer Science 3643, 15-20 (2005).
MSC:  68Q05 18B20
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software