Roderick Bloem · 7 obras en el catálogoObrasTrusted Systems 5th International Conference Intrust 2013 Graz Austria December 45 2013 ProceedingsHandbook of Model CheckingHardware and Software : Verification and TestingComputer Aided VerificationSoftware VerificationTTrusted SystemsTrusted SystemsDDecidability of Parameterized VerificationDecidability of Parameterized Verification