Bibtex de la publication

@InProceedings{ NaBoFiRa2006.3,
author = {Nasr, Odile and Bodeveix, Jean-Paul and Filali, Mamoun and Rached, Miloud},
title = "{Verification of a Scheduler in B Through a Timed Automata Specification}",
booktitle = "{Annual ACM Symposium on Applied Computing (SAC), Dijon, 23/04/2006-27/04/2006}",
year = {2006},
month = {avril},
publisher = {ACM},
address = {http://www.acm.org/},
pages = {1800--1801},
language = {anglais}
}