par Majumdar, Rupak R.;Raskin, Jean-François
Référence Handbook of Model-Checking, Springer, page (20)
Publication A Paraître, 2010
Partie d'ouvrage collectif
Titre:
  • Symbolic Model-checking in non Boolean Domains
Auteur:Majumdar, Rupak R.; Raskin, Jean-François
Informations sur la publication:Handbook of Model-Checking, Springer, page (20)
Statut de publication:A Paraître, 2010
Sujet CREF:Informatique mathématique
Note générale:SCOPUS: ch.b
Langue:Anglais
Identificateurs:info:doi/10.1007/978-3-319-10575-8_31
info:scp/85054046715