Composing temporal-logic specifications with machine assistance
Journal
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Journal Volume
2805
Pages
719-738
Date Issued
2003
Author(s)
Teng, J.-W.
Type
book