Efficient symbolic model checking of concurrent systems

URI: http://urn.fi/URN:NBN:fi:bib:me:W00595957100
about
author
inLanguage
  • en
isPartOf
name
  • Efficient symbolic model checking of concurrent systems
P60049

Instances

Efficient symbolic model checking of concurrent systems

URI: http://urn.fi/URN:NBN:fi:bib:me:I00595957101
description
  • Julkaistu myös verkkoaineistona
isPartOf
name
  • Efficient symbolic model checking of concurrent systems

Efficient symbolic model checking of concurrent systems

URI: http://urn.fi/URN:NBN:fi:bib:me:I00596075901
description
  • Julkaistu myös painettuna
isPartOf
name
  • Efficient symbolic model checking of concurrent systems

Efficient symbolic model checking of concurrent systems

URI: http://urn.fi/URN:NBN:fi:bib:me:I00596075902
isbn
  • 9789526043487
isPartOf
name
  • Efficient symbolic model checking of concurrent systems

Efficient symbolic model checking of concurrent systems

URI: http://urn.fi/URN:NBN:fi:bib:me:I00595957102
isbn
  • 9789526043494
isPartOf
name
  • Efficient symbolic model checking of concurrent systems

Efficient symbolic model checking of concurrent systems

URI: http://urn.fi/URN:NBN:fi:bib:me:I00595957103
bookFormat
isPartOf
name
  • Efficient symbolic model checking of concurrent systems
url
View this in Finna

Efficient symbolic model checking of concurrent systems

URI: http://urn.fi/URN:NBN:fi:bib:me:I00595957100
datePublished
  • 2011
description
  • Artikkeliväitöskirjan yhteenveto-osa ja 6 eripainosta.
  • kuvitettu
identifier
  • propertyID: FI-FENNI value: 984969
  • propertyID: FI-MELINDA value: 005959571
  • propertyID: skl value: fx984969
isbn
  • 9789526043487
isPartOf
name
  • Efficient symbolic model checking of concurrent systems
numberOfPages
  • xviii, 95, [99] s.
P60048
P60050
publication
  • location: Espoo organizer: Aalto University, School of Science
publisher
  • Aalto University, School of Science

Efficient symbolic model checking of concurrent systems

URI: http://urn.fi/URN:NBN:fi:bib:me:I00596075900
bookFormat
datePublished
  • 2011
description
  • Artikkeliväitöskirjan yhteenveto-osa ja 6 eripainosta.
  • Nimeke nimiösivulta.
identifier
  • propertyID: FI-MELINDA value: 005960759
isbn
  • 9789526043494
isPartOf
name
  • Efficient symbolic model checking of concurrent systems
numberOfPages
  • 7 verkkoaineistoa (224 s.)
P60048
P60050
publication
  • location: Espoo organizer: Aalto-yliopisto
publisher
url

Download this resource as RDF: