uu.seUppsala University Publications
Change search
ReferencesLink to record
Permanent link

Direct link
Unfoldings of Unbounded Petri Nets
Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Information Technology.
2000 (English)In: Proc. 12tn Int. Conf. on Computer Aided Verification, Springer Verlag , 2000, 495-507 p.Conference paper (Refereed)
Place, publisher, year, edition, pages
Springer Verlag , 2000. 495-507 p.
, Lecture Notes in Computer Science
URN: urn:nbn:se:uu:diva-40762OAI: oai:DiVA.org:uu-40762DiVA: diva2:68663
Available from: 2008-10-17 Created: 2008-10-17

Open Access in DiVA

No full text

By organisation
Department of Information Technology

Search outside of DiVA

GoogleGoogle Scholar

Total: 201 hits
ReferencesLink to record
Permanent link

Direct link