On the Power of Compositional Proofs for Nets: Relationships Between Completeness and Modularity
Fundamenta Informaticae - Netherlands
doi 10.3233/fi-1996-281212
Full Text
Open PDFAbstract
Available in full text
Categories
Date
January 1, 1996
Authors
Publisher
IOS Press