Alain Finkel

Alain Finkel

LMF ENS Paris Saclay
Dirección de correo verificada de ens-paris-saclay.fr
Citado por 7226
model checking foundations of algorithmic verification model checking theoretical computer
Joel Ouaknine

Joel Ouaknine

Director, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics …
Dirección de correo verificada de mpi-sws.org
Citado por 6820
Foundations of algorithmic verification linear dynamical systems model checking logic theoretical computer science
Markus A. Whiteland

Markus A. Whiteland

Department of Computer Science, Loughborough University
Dirección de correo verificada de lboro.ac.uk
Citado por 176
Combinatorics on Words Foundations of Algorithmic Verification