Abstract conjunctive partial deduction using regular types and its application to model checking (2001)

Cached

Download Links

by Michael Leuschel , Stefan Gruner
Venue:IN PROC. OF LOPSTR, NUMBER 2372 IN LNCS
Citations:8 - 0 self