Abstract Probabilistic Automata

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

Publikation: Artikel i tidsskrift og konference artikel i tidsskriftKonferenceartikelForskningpeer review

OriginalsprogUdefineret/Ukendt
BogserieLecture Notes in Computer Science
Vol/bind6538
Sider (fra-til)324-339
ISSN0302-9743
DOI
StatusUdgivet - 2011

Citationsformater