Automatic Verification of Petri Nets in a CLP Framework
Ph.D. thesis in Computer Science, 1997
Neither the thesis nor the abstract is presently available
in the departmental publication regirster. Please refer to the author's
www home page for
more information or in order to get in contact with the author.