Skip to contents

  5. Hutchison, David [Other]; Pandu Rangan, C. [Other]; Steffen, Bernhard [Other]; Sudan, Madhu [Other]; Terzopoulos, Demetri [Other]; Tygar, Doug [Other]; Vardi, Moshe Y. [Other]; Weikum, Gerhard [Other]; Dubois, Catherine [Other]; Kanade, Takeo [Other]; Kittler, Josef [Other]; Kleinberg, Jon [Other]; Mattern, Friedemann [Other]; Mitchell, John C. [Other]; Naor, Moni [Other]; Nierstrasz, Oscar [Other]

    Tests and Proofs : Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

    Published in: Lecture notes in computer science ; 5668

  7. Sokolsky, Oleg [Other]; Taşıran, Serdar [Other] ; International Workshop on Runtime Verification 7 2007 Vancouver, British Columbia

    Runtime Verification : 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers

    Books
    View online
    Schließen
    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 ; 4839