• Citer

Safraless Procedures for Timed Specifications

par Di Giampaolo, Barbara;Geeraerts, Gilles ;Raskin, Jean-François ;Sznajder, NATHALIE
Référence Lecture notes in computer science, 6246, page (2-22)
Publication Publié, 2010

Article révisé par les pairs

• Accès en ligne
• Détails
• Contenu
• Statistiques

Résumé :

This paper presents extensions of Safraless algorithms proposed in the literature for automata on infinite untimed words to the case of automata on infinite timed words. © 2010 Springer-Verlag Berlin Heidelberg.