Options
Assumption/Guarantee Specifications in Linear-Time Temporal Logic
Resource
Theoretical Computer Science,167 ,47-72.
Journal
Theoretical Computer Science
Journal Issue
167
Pages
47-72
Date Issued
1996-10
Date
1996-10
Author(s)
Jonsson, B.
Tsay, Y. -K.