Zoekresultaten
Resultaat 1 - 3 (van 3)
Arend Rensink On the semantics of non-atomic actions
Non-fictie
Nederlands | University of Twente, Faculty of Informatics, Enschede | 1988
Gedrukt boek
H. Kastenberg | Anneke Kleppe | Arend Rensink Engineering object-oriented semantics using graph transformations
Non-fictie
Engels | 93 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2006
Gedrukt boek
Dino Distefano | Arend Rensink | Joost-Pieter Katoen Who is pointing when to whom
on model-checking pointer structures
Non-fictie
Engels | 79 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2003
Gedrukt boek