Skip to search boxSkip to navigationSkip to main content

Abstract Probabilistic Automata

  • Benoît Delahaye
    ,
  • Joost-Pieter Katoen
    ,
  • Kim Guldstrand Larsen
    ,
  • Axel Legay
    ,
  • Mikkel Larsen Pedersen
    ,
  • Falak Sher
Research Output:
Journal Article or Conference Article in Journal
Conference article
 Peer-review

Open access

Publication Information

Output type

Research Output:
Journal Article or Conference Article in Journal
Conference article
 Peer-review

Original language

Undefined/Unknown

Pages from-to (Number of pages)

Pages 324-339

Journal (Volume, Issue Number)

Lecture Notes in Computer Science (Volume 6538)

Publication milestones

  • Published - 2011

Publication status

Published - 2011

ISSN

0302-9743

Publication IDs

  • Scopus: 79251601478

Publication metrics

PlumX, opens in new tab

Citations
36
Captures
1

Access to documents