Algorithmic multiparameterised verification of safety properties : process algebraic approach

about
author
inLanguage
  • en
isPartOf
name
  • Algorithmic multiparameterised verification of safety properties : process algebraic approach
P60049

Instances

Algorithmic multiparameterised verification of safety properties : process algebraic approach

description
  • Myös verkkoaineistona ISBN 978-951-42-6252-4 (PDF)
isPartOf
name
  • Algorithmic multiparameterised verification of safety properties : process algebraic approach

Algorithmic multiparameterised verification of safety properties : process algebraic approach

bookFormat
isPartOf
name
  • Algorithmic multiparameterised verification of safety properties : process algebraic approach
url

Algorithmic multiparameterised verification of safety properties : process algebraic approach

datePublished
  • 2010
description
  • kuvitettu
identifier
  • propertyID: FI-FENNI value: 952452
  • propertyID: FI-MELINDA value: 005746177
  • propertyID: skl value: fx952452
isbn
  • 9789514262517
isPartOf
name
  • Algorithmic multiparameterised verification of safety properties : process algebraic approach
numberOfPages
  • 168 sivua
P60048
P60050
publication
  • location: Oulu organizer: Oulun yliopisto
publisher

Download this resource as RDF: