Jérôme Feret.
Formal Model Reduction.
In
Proceedings of the 18th International Symposium
on Static Analysis, SAS'11,
Venice, Italy USA, Sept 14--16, 2011, E. Yahav (Ed.),
Lecture Notes in Computer Science 6887, p. 6.
© Springer, Berlin,
Germany.
@INPROCEEDINGS{feret:sas11,
author = {J{\'e}r{\^o}me Feret},
title = {Formal Model Reduction},
booktitle = {Eighteenth International Static Analysis Symposium (SAS'11)},
year = {2011},
pages = {6},
series = {LNCS},
publisher = {Springer},
number = {6887},
editor = {Eran Yahav},
}