J.I. den Hartog | E.P. de Vink | J.W. de Bakker Full abstractness of an interleaving semantics for action refinement
Gedrukt boek
Gedrukt boek
Dit boek kun je niet aanvragen, maar wel inzien. Het ligt ter inzage op de volgende locatie:
Koninklijke Bibliotheek