Playing Games with Timed Games
Publikation: Forskning › Bidrag til rapport
Standard
Playing Games with Timed Games. / David, Alexandre; Larsen, Kim Guldstrand; Chatain, Thomas.
Playing Games with Timed Games. Vol. LSV-08-34 Cachan, France : Laboratoire Spécification et Vérification, 2008.Publikation: Forskning › Bidrag til rapport
Harvard
David, A, Larsen, KG & Chatain, T 2008, 'Playing Games with Timed Games'. i Playing Games with Timed Games. vol. LSV-08-34, Laboratoire Spécification et Vérification, Cachan, France.
APA
David, A., Larsen, K. G., & Chatain, T. (2008). Playing Games with Timed Games. I Playing Games with Timed Games. Cachan, France: Laboratoire Spécification et Vérification.
CBE
David A, Larsen KG, Chatain T. 2008. Playing Games with Timed Games. I Playing Games with Timed Games. Cachan, France: Laboratoire Spécification et Vérification.
MLA
David, Alexandre, Kim GuldstrandLarsen og ThomasChatain "Playing Games with Timed Games". Playing Games with Timed Games. Cachan, France: Laboratoire Spécification et Vérification. 2008.
Vancouver
David A, Larsen KG, Chatain T. Playing Games with Timed Games. I Playing Games with Timed Games. Cachan, France: Laboratoire Spécification et Vérification. 2008.
Author
Bibtex
@inbook{0b5f3e40eeb711ddb0a4000ea68e967b,
title = "Playing Games with Timed Games",
publisher = "Laboratoire Spécification et Vérification",
author = "Alexandre David and Larsen, {Kim Guldstrand} and Thomas Chatain",
year = "2008",
volume = "LSV-08-34",
booktitle = "Playing Games with Timed Games",
}
RIS
TY - GEN
T1 - Playing Games with Timed Games
A1 - David,Alexandre
A1 - Larsen,Kim Guldstrand
A1 - Chatain,Thomas
AU - David,Alexandre
AU - Larsen,Kim Guldstrand
AU - Chatain,Thomas
PB - Laboratoire Spécification et Vérification
CY - Cachan, France
PY - 2008
Y1 - 2008
UR - http://www.lsv.ens-cachan.fr/~chatain/publis_chatain.php?onlykey=LSV:08:34
VL - LSV-08-34
BT - Playing Games with Timed Games
T2 - Playing Games with Timed Games
ER -