Monotonic Abstraction in Parameterized Verification
2008 (Engelska)Ingår i: Electronical Notes in Theoretical Computer Science, ISSN 1571-0661, E-ISSN 1571-0661, Vol. 223, s. 3-14Artikel i tidskrift (Refereegranskat) Published
Ort, förlag, år, upplaga, sidor
2008. Vol. 223, s. 3-14
Nationell ämneskategori
Teknik och teknologier
Identifikatorer
URN: urn:nbn:se:uu:diva-130931DOI: 10.1016/j.entcs.2008.12.027OAI: oai:DiVA.org:uu-130931DiVA, id: diva2:352108
2010-09-172010-09-172017-12-12Bibliografiskt granskad