Skip to search boxSkip to navigationSkip to main content

New Results on Abstract Probabilistic Automata

  • Benoit Delahaye
    ,
  • Joost-Pieter Katoen
    ,
  • Axel Legay
    ,
  • Mikkel Larsen Pedersen
    ,
  • Falak Sher
    ,
  • Andrzej Wasowski
  • The French National Institute for Computer Science (INRIA)
    ,
  • RWTH Aachen University
    ,
  • Aalborg University
Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
 Peer-review

Open access

Publication Information

Output type

Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
 Peer-review

Original language

English

Pages from-to (Number of pages)

Pages 118-127

Publication milestones

  • Published - 2011

Publication status

Published - 2011

Publisher

IEEE, United States

ISBN (Print)

978-0-7695-4387-1

Publication IDs

  • Scopus: 80052638506

Host publication title

Application of Concurrency to System Design (ACSD) 2011 11th International Conference on

Publication metrics

PlumX, opens in new tab

Captures
6
Citation count
16

Access to documents