Computing Science Institute Verification of a leader election protocol
formal methods applied to IEEE 1394
Gedrukt boek
formal methods applied to IEEE 1394
Gedrukt boek
Dit boek kun je niet aanvragen, maar wel inzien. Het ligt ter inzage op de volgende locatie:
Koninklijke Bibliotheek