Bibtex de la publication

@InProceedings{ Ge2017.2,
author = {Ge, Ning and Pantel, Marc and Dal Zilio, Silvano},
title = "{Formal Verification of User-Level Real-Time Property Patterns (regular paper)}",
booktitle = "{Theoretical Aspects of Software Engineering, Nice, France, 13/09/2017-15/09/2017}",
year = {2017},
month = {septembre},
to_appear = {to appear},
publisher = {},
pages = {},
language = {anglais}
}