Bibtex de la publication

@InProceedings{ Ob2018.1,
author = {Ober, Iulian},
title = "{Revisiting Bounded Reachability Analysis of Timed Automata Based on MILP (regular paper)}",
booktitle = "{Formal Methods for Industrial Critical Systems (FMICS 2018), Maynoooth (Ireland), 03/09/18-05/09/18}",
editor = {Howar, Falk and Barnat, Jiri},
year = {2018},
month = {septembre},
publisher = {Springer},
address = {http://www.springerlink.com},
volume = {11119},
series = {LNCS},
pages = {269--283},
language = {anglais}
}