About this scholarly article

SAT-based Reachability Checking for Timed Automata with Diagonal Constraints by Zbrzezny, Andrzej (author) is a scholarly article available to read on EtoBox.

Author

Zbrzezny, Andrzej (author)

Published

2005