Yves Ledru. A Formalisation of the Soccer Substitution Rules. In Proceedings of the CAISE*06 Workshop on Regulations Modelling and their Validation and Verification ReMo2V '06, Luxemburg, June 5-9, 2006, Régine Laleau, Michel Lemoine (eds.), CEUR Workshop Proceedings, Volume 241, 2007.
@InProceedings{DBLP:conf:caise:Ledru06,
Author = {Ledru, Yves},
Title = {A Formalisation of the Soccer Substitution Rules},
BookTitle = {Proceedings of the CAISE*06 Workshop on Regulations Modelling and their Validation and Verification ReMo2V '06, Luxemburg, June 5-9, 2006},
editor = {Laleau, Régine and Lemoine, Michel},
Volume = {241},
Series = {CEUR Workshop Proceedings},
Publisher = {CEUR-WS.org},
Year = {2007}
}
Charger la référence EndNote (.ref)