Input/output automata: Basic, timed, hybrid, probabilistic, dynamic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2761, Issue , 2003, Pages

  Lynch, Nancy ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

COMPLEX AUTOMATA; INFINITE STATE; INPUT/OUTPUT AUTOMATA; LEVELS OF ABSTRACTION; SYSTEM MODELING;

AUTOMATA THEORY;

EID: 84957016205     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45187-7_12     Document Type: Conference Paper

References (0)