Deadlock and reachability checking with finite complete prefixes

URI: http://urn.fi/URN:NBN:fi:bib:me:W00022510000
author
contributor
inLanguage
  • en
isPartOf
name
  • Deadlock and reachability checking with finite complete prefixes
P60049

Instances

View this in Finna

Deadlock and reachability checking with finite complete prefixes

URI: http://urn.fi/URN:NBN:fi:bib:me:I00022510000
datePublished
  • 1999
description
  • kuvitettu
identifier
  • propertyID: FI-FENNI value: 668522
  • propertyID: FI-MELINDA value: 000225100
  • propertyID: skl value: fx668522
isbn
  • 9512248840
isPartOf
name
  • Deadlock and reachability checking with finite complete prefixes
numberOfPages
  • 70, [4] s.
P60048
P60050
publication
  • location: Espoo organizer: Teknillinen korkeakoulu
publisher

Download this resource as RDF: