Skip to contents Yorav, Karen [Other] Hardware and Software: Verification and Testing : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008 Published in: Lecture notes in computer science ; 4899 Chechik, Marsha [Editor]; Raskin, Jean-François [Editor] Tools and Algorithms for the Construction and Analysis of Systems : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer, 2016 Published in: Lecture notes in computer science ; 9636 Piterman, Nir [Author] ; Smolka, Scott A. [Other] 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 Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer, 2013 Published in: Lecture notes in computer science ; 7795 Barner, Sharon [Author] ; Harris, Ian [Other]; Kroening, Daniel [Other]; Raz, Orna [Other] Hardware and Software: Verification and Testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011 Published in: Lecture notes in computer science ; 6504 Bin, Eyal [Other]; Ur, Shmuel [Other]; Ziv, Avi [Other] Hardware and Software, Verification and Testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007 Published in: Lecture notes in computer science ; 4383 Legay, Axel [Editor]; Margaria, Tiziana [Editor] Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer, 2017 Published in: Lecture notes in computer science ; 10205 Legay, Axel [Editor]; Margaria, Tiziana [Editor] Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer, 2017 Published in: Lecture notes in computer science ; 10206 Bloem, Roderick [Editor]; Arbel, Eli [Editor] Hardware and Software: Verification and Testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham: Springer, 2016 Published in: Lecture notes in computer science ; 10028 Baier, Christel [Author] ; Tinelli, Cesare [Editor] Tools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer, 2015 Published in: Lecture notes in computer science ; 9035 Ábrahám, Erika [Author] ; Havelund, Klaus [Editor] Tools and Algorithms for the Construction and Analysis of Systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer, 2014 Published in: Lecture notes in computer science ; 8413 Bernardo, Marco [Other]; Cimatti, Alessandro [Other] Formal Methods for Hardware Verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006 Published in: Lecture notes in computer science ; 3965 Borrione, Dominique [Other]; Paul, Wolfgang [Other] Correct Hardware Design and Verification Methods : 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005 Published in: Lecture notes in computer science ; 3725 Pierre, Laurence [Author] ; Kropf, Thomas [Other] Correct Hardware Design and Verification Methods : 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 1999 Published in: Lecture notes in computer science ; 1703 Ur, Shmuel [Other]; Bin, Eyal [Other]; Wolfsthal, Yaron [Other] Hardware and Software, Verification and Testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006 Published in: Lecture notes in computer science ; 3875 Margaria-Steffen, Tiziana [Author] ; Melham, Tom [Other] Correct Hardware Design and Verification Methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2001 Published in: Lecture notes in computer science ; 2144 Bertacco, Valeria [Author] ; Legay, Axel [Editor] Hardware and Software: Verification and Testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham [u.a.]: Springer, 2013 Published in: Lecture notes in computer science ; 8244
Yorav, Karen [Other] Hardware and Software: Verification and Testing : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008 Published in: Lecture notes in computer science ; 4899
Chechik, Marsha [Editor]; Raskin, Jean-François [Editor] Tools and Algorithms for the Construction and Analysis of Systems : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer, 2016 Published in: Lecture notes in computer science ; 9636
Piterman, Nir [Author] ; Smolka, Scott A. [Other] 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 Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer, 2013 Published in: Lecture notes in computer science ; 7795
Barner, Sharon [Author] ; Harris, Ian [Other]; Kroening, Daniel [Other]; Raz, Orna [Other] Hardware and Software: Verification and Testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011 Published in: Lecture notes in computer science ; 6504
Bin, Eyal [Other]; Ur, Shmuel [Other]; Ziv, Avi [Other] Hardware and Software, Verification and Testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007 Published in: Lecture notes in computer science ; 4383
Legay, Axel [Editor]; Margaria, Tiziana [Editor] Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer, 2017 Published in: Lecture notes in computer science ; 10205
Legay, Axel [Editor]; Margaria, Tiziana [Editor] Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer, 2017 Published in: Lecture notes in computer science ; 10206
Bloem, Roderick [Editor]; Arbel, Eli [Editor] Hardware and Software: Verification and Testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham: Springer, 2016 Published in: Lecture notes in computer science ; 10028
Baier, Christel [Author] ; Tinelli, Cesare [Editor] Tools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer, 2015 Published in: Lecture notes in computer science ; 9035
Ábrahám, Erika [Author] ; Havelund, Klaus [Editor] Tools and Algorithms for the Construction and Analysis of Systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer, 2014 Published in: Lecture notes in computer science ; 8413
Bernardo, Marco [Other]; Cimatti, Alessandro [Other] Formal Methods for Hardware Verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006 Published in: Lecture notes in computer science ; 3965
Borrione, Dominique [Other]; Paul, Wolfgang [Other] Correct Hardware Design and Verification Methods : 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005 Published in: Lecture notes in computer science ; 3725
Pierre, Laurence [Author] ; Kropf, Thomas [Other] Correct Hardware Design and Verification Methods : 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 1999 Published in: Lecture notes in computer science ; 1703
Ur, Shmuel [Other]; Bin, Eyal [Other]; Wolfsthal, Yaron [Other] Hardware and Software, Verification and Testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006 Published in: Lecture notes in computer science ; 3875
Margaria-Steffen, Tiziana [Author] ; Melham, Tom [Other] Correct Hardware Design and Verification Methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2001 Published in: Lecture notes in computer science ; 2144
Bertacco, Valeria [Author] ; Legay, Axel [Editor] Hardware and Software: Verification and Testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham [u.a.]: Springer, 2013 Published in: Lecture notes in computer science ; 8244
> Media type Skip to next facet Books (34) Wert ausschließen Thesis (2) Wert ausschließen Show more show less
> Availability Skip to next facet Stack Collection (12) Wert ausschließen Ask for availability (1) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (12) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (6) Wert ausschließen Without Specification (18) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (17) Wert ausschließen Mathmatics (7) Wert ausschließen Technology (6) Wert ausschließen Show more show less
> Creator Skip to next facet Ur, Shmuel (4) Wert ausschließen Bin, Eyal (3) Wert ausschließen Jacobi, Christian (3) Wert ausschließen Legay, Axel (3) Wert ausschließen Ziv, Avi (3) Wert ausschließen Barner, Sharon (2) Wert ausschließen Bernardo, Marco (2) Wert ausschließen Borrione, Dominique (2) Wert ausschließen Chockler, Hana (2) Wert ausschließen Cimatti, Alessandro (2) Wert ausschließen Harris, Ian (2) Wert ausschließen Hu, Alan J. (2) Wert ausschließen International Federation for Information Processing Working Group Very Large Scale Integration (2) Wert ausschließen Johannsen, Peer (2) Wert ausschließen Kroening, Daniel (2) Wert ausschließen Margaria, Tiziana (2) Wert ausschließen Margaria-Steffen, Tiziana (2) Wert ausschließen Pierre, Laurence (2) Wert ausschließen Raz, Orna (2) Wert ausschließen Yorav, Karen (2) Wert ausschließen Arbel, Eli (1) Wert ausschließen Baier, Christel (1) Wert ausschließen Bertacco, Valeria (1) Wert ausschließen Bloem, Roderick (1) Wert ausschließen CHARME 10 1999 Bad Herrenalb (1) Wert ausschließen CHARME 11 2001 Livingston, Scotland (1) Wert ausschließen CHARME 12 2003 L'Aquila (1) Wert ausschließen CHARME 13 2005 Saarbrücken (1) Wert ausschließen Chechik, Marsha (1) Wert ausschließen Clarke, Edmund M. (1) Wert ausschließen Geist, Daniel (1) Wert ausschließen Grumberg, Orna (1) Wert ausschließen Havelund, Klaus (1) Wert ausschließen Hutchison, David (1) Wert ausschließen International Haifa Verification Conference 1 2005 Haifa (1) Wert ausschließen International Haifa Verification Conference 2 2006 Haifa (1) Wert ausschließen International Haifa Verification Conference 3 2007 Haifa (1) Wert ausschließen International Haifa Verification Conference 4 2008 Haifa (1) Wert ausschließen International Haifa Verification Conference 5 2009 Haifa (1) Wert ausschließen International Haifa Verification Conference 6 2010 Haifa (1) Wert ausschließen International School on Formal Methods for the Design of Computer, Communication, and Software Systems 6 2006 Bertinoro (1) Wert ausschließen Kanade, Takeo (1) Wert ausschließen Kittler, Josef (1) Wert ausschließen Kleinberg, Jon (1) Wert ausschließen Kropf, Thomas (1) Wert ausschließen Kunz, Wolfgang (1) Wert ausschließen Mattern, Friedemann (1) Wert ausschließen Melham, T. F. (1) Wert ausschließen Melham, Tom (1) Wert ausschließen Mitchell, John C. (1) Wert ausschließen Namjoshi, Kedar (1) Wert ausschließen Namjoshi, Kedar S. (1) Wert ausschließen Naor, Moni (1) Wert ausschließen Nierstrasz, Oscar (1) Wert ausschließen Pandu Rangan, C. (1) Wert ausschließen Paul, Wolfgang (1) Wert ausschließen Peled, Doron (1) Wert ausschließen Piterman, Nir (1) Wert ausschließen Raskin, Jean-François (1) Wert ausschließen Smolka, Scott A. (1) Wert ausschließen Steffen, Bernhard (1) Wert ausschließen Sudan, Madhu (1) Wert ausschließen Terzopoulos, Demetri (1) Wert ausschließen Tinelli, Cesare (1) Wert ausschließen Tronci, Enrico (1) Wert ausschließen Tygar, Doug (1) Wert ausschließen Vardi, Moshe Y. (1) Wert ausschließen Villarraga, Carlos (1) Wert ausschließen Weikum, Gerhard (1) Wert ausschließen Wilke, Thomas (1) Wert ausschließen Wolfgang J. Paul (1) Wert ausschließen Wolfsthal, Yaron (1) Wert ausschließen Zeller, Andreas (1) Wert ausschließen de Roever, Willem-Paul (1) Wert ausschließen Ábrahám, Erika (1) Wert ausschließen Show more show less
> Collection Skip to next facet Verbunddaten SWB (31) Wert ausschließen Diss online (3) Wert ausschließen BASE - Bielefeld Academic Search Engine (2) Wert ausschließen Lizenzfreie Online-Ressourcen (1) Wert ausschließen MACAU: Open Access Repository of Kiel University (1) Wert ausschließen Scientific publications of the Saarland University (UdS) (1) Wert ausschließen Show more show less