A process algebraic reduction strategy for automata theoretic verification of untimed and timed concurrent systems

URI: http://urn.fi/URN:NBN:fi:bib:me:W00305524200
author
inLanguage
  • en
isPartOf
name
  • A process algebraic reduction strategy for automata theoretic verification of untimed and timed concurrent systems
P60049

Instances

A process algebraic reduction strategy for automata theoretic verification of untimed and timed concurrent systems

URI: http://urn.fi/URN:NBN:fi:bib:me:I00642484901
description
  • Myös painettuna (ISBN 952-10-1450-4)
isPartOf
name
  • A process algebraic reduction strategy for automata theoretic verification of untimed and timed concurrent systems

A process algebraic reduction strategy for automata theoretic verification of untimed and timed concurrent systems

URI: http://urn.fi/URN:NBN:fi:bib:me:I00305524201
description
  • Julkaistu myös verkkoaineistona
isPartOf
name
  • A process algebraic reduction strategy for automata theoretic verification of untimed and timed concurrent systems
View this in Finna

A process algebraic reduction strategy for automata theoretic verification of untimed and timed concurrent systems

URI: http://urn.fi/URN:NBN:fi:bib:me:I00305524200
datePublished
  • 2003
description
  • kuvitettu
identifier
  • propertyID: FI-FENNI value: 744666
  • propertyID: FI-MELINDA value: 003055242
  • propertyID: skl value: fx744666
isbn
  • 9521014504
  • 9521014512
  • 95214504
isPartOf
name
  • A process algebraic reduction strategy for automata theoretic verification of untimed and timed concurrent systems
numberOfPages
  • vi, 141, [2] sivu
P60048
P60050
publication
  • location: Helsinki organizer: Helsingin yliopisto
publisher
View this in Finna

A process algebraic reduction strategy for automata theoretic verification of untimed and timed concurrent systems

URI: http://urn.fi/URN:NBN:fi:bib:me:I00642484900
bookFormat
datePublished
  • 2003
description
  • Kuvailun perusta: Nimeke nimiönäytöstä.
  • Nimiönäytöllä myös: University of Helsinki, Department of Computer Science, Faculty of Science
  • Tekstiä
identifier
  • propertyID: FI-FENNI value: 742001
  • propertyID: FI-MELINDA value: 006424849
  • propertyID: skl value: fx742001
isbn
  • 9521014512
isPartOf
name
  • A process algebraic reduction strategy for automata theoretic verification of untimed and timed concurrent systems
P60048
P60050
publication
  • location: Helsinki organizer: Helsingin yliopisto
publisher
url

Download this resource as RDF: