Bibtex de la publication

@Article{ BoErPa2009.1,
author = {Boniol, Frédéric and Ermont, Jérôme and Pagetti, Claire},
title = "{Verification of real-time systems with preemption: negative and positive results}",
journal = {Innovations in Systems and Software Engineering},
publisher = {Springer},
address = {http://www.springerlink.com},
year = {2009},
month = {juin},
volume = {5},
pages = {163--179},
language = {anglais}
}