Biere A.

Автор:

Вид	Название	Год	Автор	Серия	Источник	Дата поступления
СТ	Simple is Better: Efficient Bounded Model Checking for Past LTL	2005	Latvala T., Biere A., Heljanko K., Junttila T.	Lecture Notes in Computer Science	Lecture Notes in Computer Science	23.03.2005
СТ	JNuke: Efficient Dynamic Analysis for Java	2004	Artho C., Schuppan V., Biere A., Eugster P., Baur M., Zweimueller B.	Lecture Notes in Computer Science	Lecture Notes in Computer Science	04.09.2004
СТ	Multiple State and Single State Tableaux for Combining Local and Global Model Checking	1999	Biere A., Clarke E. M., Zhu Y.		Lecture Notes in Computer Science	20.11.1999

Вид	Название	Год	Серия	Редакторы	Дата поступления
СБ	Tools and Algorithms for the Construction and Analysis of Systems, Part II: Proc./26th International Conference, TACAS 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 2020	2020	Lecture Notes in Computer Science	Biere A. Parker D.	29.05.2020
СБ	Tools and Algorithms for the Construction and Analysis of Systems, Part I: Proc./26th International Conference, TACAS 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 2020	2020	Lecture Notes in Computer Science	Biere A. Parker D.	22.05.2020
СБ	Computer Aided Verification: Proc./26th International Conference, CAV 2014 Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Italy, July 2014	2014	Lecture Notes in Computer Science	Biere A. Bloem R.	23.09.2014
СБ	Hardware and Software: Verification and Testing: Revised Selected Papers/8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 2012	2013	Lecture Notes in Computer Science	Biere A. Nahir A. Vos T.	23.09.2013
СБ	Theory and Applications of Satisfiability Testing - SAT 2006: Proc./9th International Conference. Seattle, WA, USA, August 2006	2006	Lecture Notes in Computer Science	Biere A. Gomes C. P.	31.08.2006