Branching-Time Model Checking Gap-Order Constraint Systems
Fundamenta Informaticae - Netherlands
doi 10.3233/fi-2016-1317
Full Text
Open PDFAbstract
Available in full text
Categories
Date
March 4, 2016
Authors
Publisher
IOS Press
Available in full text
March 4, 2016
IOS Press