Verifying safety by combining joint actions with a process-algebraic approach

URI: http://urn.fi/URN:NBN:fi:bib:me:W00020297200
author
contributor
inLanguage
  • en
isPartOf
name
  • Verifying safety by combining joint actions with a process-algebraic approach
P60049

Instances

View this in Finna

Verifying safety by combining joint actions with a process-algebraic approach

URI: http://urn.fi/URN:NBN:fi:bib:me:I00020297200
datePublished
  • 1999
description
  • kuvitettu
identifier
  • propertyID: FI-FENNI value: 638829
  • propertyID: FI-MELINDA value: 000202972
  • propertyID: skl value: fx638829
isbn
  • 9521502304
isPartOf
name
  • Verifying safety by combining joint actions with a process-algebraic approach
numberOfPages
  • 27, [2] s.
P60048
P60050
publication
  • location: Tampere organizer: Tampereen teknillinen korkeakoulu Tampereen teknillinen yliopisto. Optoelektroniikan tutkimuskeskus
publisher

Download this resource as RDF: