Sciweavers

Share
LOPSTR
2001
Springer

Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking

9 years 1 months ago
Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking
Michael Leuschel, Stefan Gruner
Added 30 Jul 2010
Updated 30 Jul 2010
Type Conference
Year 2001
Where LOPSTR
Authors Michael Leuschel, Stefan Gruner
Comments (0)
books