Titre:
  • Efficient verification of counting abstractions for parametric systems
Auteur:Van Begin, Laurent
Promoteur:Raskin, Jean-François
Informations sur la publication:Université libre de Bruxelles, Faculté des sciences, Bruxelles
Date de défense:2004
Sujet CREF:Sciences exactes et naturelles
Volumes/pages:1 v.
Intitulé du diplôme:Doctorat en Sciences
Langue:Français
Anneé académique:2003-2004
Identificateurs:ulbcat.ulb.ac.be:704097