A hybrid projection temporal logic for hybrid systems
By: Mike Holcombe and Zhenhua Duan.
Contributors: Duan, Z. H.; University of Sheffield. Department of Computer Science.
Series: Memoranda in computer and cognitive science -- CS-95-01
Publisher: University of Sheffield, Dept. of Computer Science
Published: 1995
Place of publication: Sheffield
Language: eng