Showing 1 - 5 results of 5 for search 'Biere, Armin', query time: 0.03s Narrow Search
  1. 1
    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
    Published 2014
    Other Authors: “…Biere, Armin…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  2. 2
    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
    Published 2020
    Other Authors: “…Biere, Armin…”
    Click for online access
    eBook
    Save to List
    Saved in:
  3. 3
    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
    Published 2020
    Other Authors: “…Biere, Armin…”
    Click for online access
    eBook
    Save to List
    Saved in:
  4. 4
    Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings
    Published 2006
    Other Authors: “…Biere, Armin…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  5. 5
    Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
    Published 2013
    Other Authors: “…Biere, Armin…”
    Click to view e-book
    eBook
    Save to List
    Saved in:

Search Tools: