Back to Search Start Over

State Space Reduction by Proving Confluence

Authors :
Blom, S.C.C. (Stefan)
Pol, J.C. (Jaco) van de
Blom, S.C.C. (Stefan)
Pol, J.C. (Jaco) van de
Publication Year :
2002

Details

Database :
OAIster
Notes :
application/pdf, English
Publication Type :
Electronic Resource
Accession number :
edsoai.on1366604933
Document Type :
Electronic Resource

Tools

Authors Abstract Subjects Details