SAT-Solving the Coverability Problem for Petri Nets
ParoshAziz Abdulla, S.Purushothaman Iyer, Aletta NylénVolume:
24
Language:
english
Pages:
19
DOI:
10.1023/b:form.0000004786.30007.f8
Date:
January, 2004
File:
PDF, 148 KB
english, 2004