Updatable Timed Automata with Additive and Diagonal Constraints
Book chapter in Lecture Notes in Computer Science (January 2008)
The most recent citing publications are shown below. View all 5 publications that cite this research output on Dimensions.
Book chapter in Lecture Notes in Computer Science (January 2008)
Article in IEEE Transactions on Biomedical Engineering (March 2005)
Book chapter in Lecture Notes in Computer Science (January 2004)