×

Found 3 Documents (Results 1–3)

Upper bounds on the automata size for integer and mixed real and integer linear arithmetic. (Extended abstract). (English) Zbl 1156.03330

Kaminski, Michael (ed.) et al., Computer science logic. 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16–19, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87530-7/pbk). Lecture Notes in Computer Science 5213, 431-445 (2008).
PDFBibTeX XMLCite
Full Text: DOI

Mechanizing the powerset construction for restricted classes of \(\omega \)-automata. (English) Zbl 1141.68430

Namjoshi, Kedar S. (ed.) et al., Automated technology for verification and analysis. 5th international symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75595-1/pbk). Lecture Notes in Computer Science 4762, 223-236 (2007).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software