Bibtex de la publication

@TechReport{ Ga2013.1,
author = {Garnacho, Manuel and Bodeveix, Jean-Paul and Filali, Mamoun},
title = "{Mechanized Semantics of Real-Time Concurrent Systems}",
year = {2013},
month = {janvier},
type = {Rapport de recherche},
number = { IRIT/RR--2013-15--FR},
institution = {IRIT},
address = {Université Paul Sabatier, Toulouse},
language = {anglais}
}