Juan-José Martins, Jean-Pierre Hubaux. Evaluating Performance from Formal Specification. In MASCOTS. pages 285-290, 1996.
@inproceedings{MartinsH96,
title = {Evaluating Performance from Formal Specification},
author = {Juan-José Martins and Jean-Pierre Hubaux},
year = {1996},
researchr = {https://researchr.org/publication/MartinsH96},
cites = {0},
citedby = {0},
pages = {285-290},
booktitle = {MASCOTS},
}