Kurt Jensen

Kurt Jensen

Professor of Computer Science, Aarhus University
Dirección de correo verificada de cs.au.dk
Citado por 15531
Coloured Petri Nets Concurrency Petri Nets Model Checking State Spaces