Implementation and Application of Automata - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

32
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642029783, 9783642029790
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals TAGED Approximations for Temporal Properties Model-Checking

2009 ◽  
pp. 135-144 ◽  
Author(s):  
Roméo Courbis ◽  
Pierre-Cyrille Héam ◽  
Olga Kouchnarenko
Keyword(s):  
Model Checking ◽  
Temporal Properties

On Extremal Cases of Hopcroft’s Algorithm

2009 ◽  
pp. 14-23 ◽  
Author(s):  
Giusi Castiglione ◽  
Antonio Restivo ◽  
Marinella Sciortino

Small Extended Expressions for Acyclic Automata

2009 ◽  
pp. 198-207 ◽  
Author(s):  
Pascal Caron ◽  
Jean-Marc Champarnaud ◽  
Ludovic Mignot

FAdo and GUItar: Tools for Automata Manipulation and Visualization

2009 ◽  
pp. 65-74 ◽  
Author(s):  
André Almeida ◽  
Marco Almeida ◽  
José Alves ◽  
Nelma Moreira ◽  
Rogério Reis

scholarly journals Random Generation of Deterministic Tree (Walking) Automata

2009 ◽  
pp. 115-124 ◽  
Author(s):  
Pierre-Cyrille Héam ◽  
Cyril Nicaud ◽  
Sylvain Schmitz
Keyword(s):  
Random Generation
Load More ...
Sign in / Sign up

Export Citation Format

Share Document