An induction theorem for ring protocols of processes described with predicate/transition nets

author
contributor
inLanguage
  • en
isPartOf
name
  • An induction theorem for ring protocols of processes described with predicate/transition nets
P60049

Instances

An induction theorem for ring protocols of processes described with predicate/transition nets

datePublished
  • 1996
description
  • kuvitettu
identifier
  • propertyID: FI-FENNI value: 512869
  • propertyID: FI-MELINDA value: 000132483
  • propertyID: skl value: fx512869
isbn
  • 9512230666
isPartOf
name
  • An induction theorem for ring protocols of processes described with predicate/transition nets
numberOfPages
  • ii, 84, [2] s.
P60048
P60050
publication
  • location: Espoo organizer: Teknillinen korkeakoulu
publisher

Download this resource as RDF: