Beyond Liveness: Efficient Parameter Synthesis for Timed Bounded Liveness

Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

OriginalsprogEngelsk
TitelInternational Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'05)
ForlagIEEE Computer Society Press
Publikationsdato2005
StatusUdgivet - 2005
BegivenhedInternational Conference on Formal Modelling and Analysis of Timed Systems - Uppsala, Sverige
Varighed: 19 maj 2010 → …
Konferencens nummer: 3

Konference

KonferenceInternational Conference on Formal Modelling and Analysis of Timed Systems
Nummer3
LandSverige
ByUppsala
Periode19/05/2010 → …

Citer dette

Behrmann, G., Larsen, K. G., & Rasmussen, J. I. (2005). Beyond Liveness: Efficient Parameter Synthesis for Timed Bounded Liveness. I International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'05) IEEE Computer Society Press.
Behrmann, Gerd ; Larsen, Kim Guldstrand ; Rasmussen, Jacob Illum. / Beyond Liveness : Efficient Parameter Synthesis for Timed Bounded Liveness. International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'05). IEEE Computer Society Press, 2005.
@inproceedings{0a18a4109c2d11db8ed6000ea68e967b,
title = "Beyond Liveness: Efficient Parameter Synthesis for Timed Bounded Liveness",
author = "Gerd Behrmann and Larsen, {Kim Guldstrand} and Rasmussen, {Jacob Illum}",
year = "2005",
language = "English",
booktitle = "International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'05)",
publisher = "IEEE Computer Society Press",
address = "United States",

}

Behrmann, G, Larsen, KG & Rasmussen, JI 2005, Beyond Liveness: Efficient Parameter Synthesis for Timed Bounded Liveness. i International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'05). IEEE Computer Society Press, International Conference on Formal Modelling and Analysis of Timed Systems, Uppsala, Sverige, 19/05/2010.

Beyond Liveness : Efficient Parameter Synthesis for Timed Bounded Liveness. / Behrmann, Gerd; Larsen, Kim Guldstrand; Rasmussen, Jacob Illum.

International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'05). IEEE Computer Society Press, 2005.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

TY - GEN

T1 - Beyond Liveness

T2 - Efficient Parameter Synthesis for Timed Bounded Liveness

AU - Behrmann, Gerd

AU - Larsen, Kim Guldstrand

AU - Rasmussen, Jacob Illum

PY - 2005

Y1 - 2005

M3 - Article in proceeding

BT - International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'05)

PB - IEEE Computer Society Press

ER -

Behrmann G, Larsen KG, Rasmussen JI. Beyond Liveness: Efficient Parameter Synthesis for Timed Bounded Liveness. I International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'05). IEEE Computer Society Press. 2005