Publications

Formula Preprocessing in Mus Extraction

AuthID
P-008-9N2

Author(s)

Belov, A

Järvisalo, M

Silva, JM

Editor(s)

Piterman,N;Smolka,SA

Document Type

Proceedings Paper

Year published

2013

Published

in Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 7795, Pages: 108-123

Conference

19Th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Tacas 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2013, Date: 16 March 2013 through 24 March 2013, Location: Rome

Indexing