Farn Wang. Parametric Analysis of Computer Systems. Formal Methods in System Design, 17(1):39-60, 2000.
@article{Wang00:16,
title = {Parametric Analysis of Computer Systems},
author = {Farn Wang},
year = {2000},
tags = {analysis},
researchr = {https://researchr.org/publication/Wang00%3A16},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {17},
number = {1},
pages = {39-60},
}