Eisinger, Jochen; Klaedtke, Felix Don’t care words with an application to the automata-based approach for real addition. (English) Zbl 1165.68393 Form. Methods Syst. Des. 33, No. 1-3, 85-115 (2008). MSC: 68Q45 68Q60 PDF BibTeX XML Cite \textit{J. Eisinger} and \textit{F. Klaedtke}, Form. Methods Syst. Des. 33, No. 1--3, 85--115 (2008; Zbl 1165.68393) Full Text: DOI
De Wulf, Martin; Doyen, Laurent; Markey, Nicolas; Raskin, Jean-François Robust safety of timed automata. (English) Zbl 1165.68392 Form. Methods Syst. Des. 33, No. 1-3, 45-84 (2008). MSC: 68Q45 PDF BibTeX XML Cite \textit{M. De Wulf} et al., Form. Methods Syst. Des. 33, No. 1--3, 45--84 (2008; Zbl 1165.68392) Full Text: DOI
Gu, Tianlong; Liu, Huadong The symbolic OBDD scheme for generating mechanical assembly sequences. (English) Zbl 1165.68489 Form. Methods Syst. Des. 33, No. 1-3, 29-44 (2008). MSC: 68T20 PDF BibTeX XML Cite \textit{T. Gu} and \textit{H. Liu}, Form. Methods Syst. Des. 33, No. 1--3, 29--44 (2008; Zbl 1165.68489) Full Text: DOI
Gershman, Roman; Koifman, Maya; Strichman, Ofer An approach for extracting a small unsatisfiable core. (English) Zbl 1165.68487 Form. Methods Syst. Des. 33, No. 1-3, 1-27 (2008). MSC: 68T20 PDF BibTeX XML Cite \textit{R. Gershman} et al., Form. Methods Syst. Des. 33, No. 1--3, 1--27 (2008; Zbl 1165.68487) Full Text: DOI