F. Hanssen | A.H. Mader | Pierre G. Jansen Verifying the distributed real-time network protocol RTnet using Uppaal
Gedrukt boek
Gedrukt boek
Dit boek kun je niet aanvragen, maar wel inzien. Het ligt ter inzage op de volgende locatie:
Koninklijke Bibliotheek