par Doyen, Laurent Cliquez pour télécharger la liste de publications de l'auteur; Raskin, Jean-François Liste de publications
Référence Lecture notes in computer science, 4424 LNCS, (page 451-465)
Publication Publié, 2007
Article révisé par les pairs
Titre :
  • Improved algorithms for the automata-based approach to model-checking
Auteur : Doyen, Laurent ; Raskin, Jean-François
Informations sur la publication : Lecture notes in computer science, 4424 LNCS, (page 451-465)
Statut de publication : Publié, 2007
Sujet CREF : Informatique mathématique
Note : SCOPUS: cp.k
13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, (TACAS 2007); Braga; Portugal; 24 March 2007 through 1 April 2007.
Langue :
  • Anglais
Identificateurs : urn:issn:0302-9743