Assumption/guarantee specifications in linear-time temporal logic
Journal
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Journal Volume
915
Pages
262-276
Date Issued
1995
Author(s)
Jonsson, B
Type
conference paper