Scheduling dynamic dataflow graphs with model checking

URI: http://urn.fi/URN:NBN:fi:bib:me:W00684198300
about
author
inLanguage
  • en
isPartOf
name
  • Scheduling dynamic dataflow graphs with model checking
P60049

Instances

Scheduling dynamic dataflow graphs with model checking

URI: http://urn.fi/URN:NBN:fi:bib:me:I00684198302
isbn
  • 9789521230912
isPartOf
name
  • Scheduling dynamic dataflow graphs with model checking

Scheduling dynamic dataflow graphs with model checking

URI: http://urn.fi/URN:NBN:fi:bib:me:I00684198301
description
  • Yhteenveto-osa julkaistu myös verkkoaineistona
isPartOf
name
  • Scheduling dynamic dataflow graphs with model checking

Scheduling dynamic dataflow graphs with model checking

URI: http://urn.fi/URN:NBN:fi:bib:me:I00684198303
bookFormat
isPartOf
name
  • Scheduling dynamic dataflow graphs with model checking
url

Scheduling dynamic dataflow graphs with model checking

URI: http://urn.fi/URN:NBN:fi:bib:me:I00684198300
datePublished
  • 2014
description
  • Artikkeliväitöskirjan yhteenveto-osa ja 5 eripainosta.
  • kuvitettu ;.
  • Sammanfattning + 5 artiklar.
identifier
  • propertyID: FI-MELINDA value: 006841983
isbn
  • 9789521230905
isPartOf
name
  • Scheduling dynamic dataflow graphs with model checking
numberOfPages
  • xiv, 181, [42] .
P60048
P60050
publication
  • location: Turku organizer: Åbo Akademi University, Department of Information Technologies
publisher
  • Åbo Akademi University, Department of Information Technologies

Download this resource as RDF: