Model Checking AllTL Properties for Set Automata - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

Model Checking AllTL Properties for Set Automata

Domaines

Logique en informatique [cs.LO]

Hayssam Soueidan  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00407478

Soumis le : vendredi 24 juillet 2009-17:45:54

Dernière modification le : lundi 5 juin 2023-16:52:11

Fichier non déposé

Dates et versions

hal-00407478 , version 1 (24-07-2009)

Identifiants

  • HAL Id : hal-00407478 , version 1

Citer

Hayssam Soueidan, Macha Nikolski, Grégoire Sutre. Model Checking AllTL Properties for Set Automata. MOVEP, 2006, Bordeaux, France. pp.203-209. ⟨hal-00407478⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA LABRI LABRI-MABIOVIS INRIA2
164 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More