@inproceedings{FFM4,
title = { On the Expressiveness of some Runtime Validation Techniques },
author = {Falcone, Ylies and Fernandez, Jean-Claude and Mounier, Laurent},
year = {2014},
booktitle = {{HOWARD-60:} {A} Festschrift on the Occasion of Howard Barringer's 60th Birthday},
crossref = {DBLP:conf/birthday/2014howard},
pages = {112--123},
team = {DCS, PACSS, axe_Pacs},
timestamp = {Tue, 07 Oct 2014 17:55:44 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/birthday/FalconeFM14},
bibsource = {dblp computer science bibliography, http://dblp.org},
}
