Open AccessAre Timed Automata Bad for a Specification Language? Language Inclusion Checking for Timed Automata
Author(s) -
Jun Sun
Publication year - 2014
Publication title -
electronic proceedings in theoretical computer science
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.338
H-Index - 23
ISSN - 2075-2180
DOI - 10.4204/eptcs.156.2
Subject(s) - automaton , computer science , programming language , timed automaton , programming language specification , specification language , inclusion (mineral) , theoretical computer science , psychology , social psychology , inductive programming , programming domain , programming paradigm