David K. Probst, Hon F. Li. Verifying Timed Behavior Automata with Nonbinary Delay Constraints. In Gregor von Bochmann, David K. Probst, editors, Computer Aided Verification, Fourth International Workshop, CAV 92, Montreal, Canada, June 29 - July 1, 1992, Proceedings. Volume 663 of Lecture Notes in Computer Science, pages 123-136, Springer, 1992.
Abstract is missing.