Quantitative Refinement for Weighted Modal Transition Systems

Sebastian S. Bauer, Uli Fahrenberg, L. Juhl, Kim Guldstrand Larsen, Alex Legay, C. Thrane

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

20 Citationer (Scopus)
OriginalsprogEngelsk
BogserieLecture Notes in Computer Science
Vol/bind6907 LNCS
Sider (fra-til)60-71
Antal sider12
ISSN0302-9743
DOI
StatusUdgivet - 1 jan. 2011
Begivenhed36th International Conference on Mathematical Foundations of Computer Science - Warsaw, Polen
Varighed: 22 aug. 201126 aug. 2011
Konferencens nummer: 36

Konference

Konference36th International Conference on Mathematical Foundations of Computer Science
Nummer36
LandPolen
ByWarsaw
Periode22/08/201126/08/2011

Bibliografisk note

Proceedings of the 36th International Conference on Mathematical Foundations of Computer Science. Murlak, F. & Sankowski, P. (eds.)

Fingeraftryk Dyk ned i forskningsemnerne om 'Quantitative Refinement for Weighted Modal Transition Systems'. Sammen danner de et unikt fingeraftryk.

Citationsformater