Abstract Probabilistic Automata

Benoit Delahaye, Joost-Pieter Katoen, Kim Guldstrand Larsen, Axel Legay, Mikkel Larsen Pedersen, Falak Sher, Andrzej Wasowski

Research output: Contribution to journalConference article in JournalResearchpeer-review

33 Citations (Scopus)
Original languageEnglish
Book seriesLecture Notes in Computer Science
Volume6538
Pages (from-to)324-339
ISSN0302-9743
DOIs
Publication statusPublished - 2011
Event12th International Conference, VMCAI 2011 - Austin, TX, United States
Duration: 23 Jan 201125 Jan 2011

Conference

Conference12th International Conference, VMCAI 2011
CountryUnited States
CityAustin, TX
Period23/01/201125/01/2011

Cite this