Combining symbolic and partial order methods for model checking 1-safe Petri nets

URI: http://urn.fi/URN:NBN:fi:bib:me:W00024392700
author
contributor
inLanguage
  • en
isPartOf
name
  • Combining symbolic and partial order methods for model checking 1-safe Petri nets
P60049

Instances

View this in Finna

Combining symbolic and partial order methods for model checking 1-safe Petri nets

URI: http://urn.fi/URN:NBN:fi:bib:me:I00024392700
datePublished
  • 2002
description
  • kuvitettu
  • Tiivistelmä ja 6 erip.
identifier
  • propertyID: FI-FENNI value: 706000
  • propertyID: FI-MELINDA value: 000243927
  • propertyID: skl value: fx706000
isbn
  • 9512258862
isPartOf
name
  • Combining symbolic and partial order methods for model checking 1-safe Petri nets
numberOfPages
  • 55, [107] s.
P60048
P60050
publication
  • location: Espoo organizer: Teknillinen korkeakoulu
publisher

Download this resource as RDF: