Tools and Algorithms for the Construction and Analysis of Systems Biere Armin Innbundet / 2020 / Engelsk
Tools and Algorithms for the Construction and Analysis of Systems Biere Armin Heftet / 2020 / Engelsk
Tools and Algorithms for the Construction and Analysis of Systems Biere Armin Innbundet / 2020 / Engelsk
Tools and Algorithms for the Construction and Analysis of Systems Biere Armin Heftet / 2020 / Engelsk
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I Biere Armin Heftet / 2020 / Engelsk
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II Biere Armin Heftet / 2020 / Engelsk
Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings Biere Armin Heftet / 2014 / Engelsk
Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings Biere Armin Heftet / 2006 / Engelsk
Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers Biere Armin Heftet / 2013 / Engelsk
