Zum Inhalt springen

  2. Zimmermann, Wolf [HerausgeberIn]; Thalheim, Bernhard [Sonstige Person, Familie und Körperschaft] ; ASM 11 2004 Wittenberg

    Abstract state machines 2004 : advances in theory and practice ; 11th international workshop, Lutherstadt Wittenberg, Germany, May 24 - 28, 2004 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2004

    Erschienen in: Lecture notes in computer science ; 3052

  5. Kröger, Fred [VerfasserIn]; Merz, Stephan [VerfasserIn]

    Temporal logic and state systems

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg: Springer, 2008

    Erschienen in: Texts in theoretical computer science

  7. Blass, Andreas [HerausgeberIn]; Gurevich, Yuri [GefeierteR]; Dershowitz, Nachum [Sonstige Person, Familie und Körperschaft]; Reisig, Wolfgang [Sonstige Person, Familie und Körperschaft]

    Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th birthday

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2010

    Erschienen in: Lecture notes in computer science ; 6300

  8. Börger, Egon [HerausgeberIn]; Butler, Michael [Sonstige Person, Familie und Körperschaft]; Bowen, Jonathan P. [Sonstige Person, Familie und Körperschaft]; Boca, Paul [Sonstige Person, Familie und Körperschaft] ; ABZ 1 2008 London

    Abstract state machines, B and Z : first international conference, ABZ 2008, London, UK, September 16-18, 2008 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2008

    Erschienen in: Lecture notes in computer science ; 5238

  11. Haneberg, Dominik [VerfasserIn]; Schellhorn, Gerhard [VerfasserIn]; Grandy, Holger [VerfasserIn]; Reif, Wolfgang [VerfasserIn]

    Verification of Mondex electronic purses with KIV: from transactions to a security protocol

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Augsburg University Publication Server (OPUS), 2006-12-22

  18. Klünder, Daniel [VerfasserIn]

    Entwurf eingebetteter Software mit abstrakten Zustandsmaschinen und Business Object Notation

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Aachen: RWTH Aachen, Department of Computer Science, 2009

    Erschienen in: Aachener Informatik-Berichte ; 2009,4