Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/amast/ChenCG96
%A Chen, Xiao Jun
%A Corradini, Flavio
%A Gorrieri, Roberto
%B AMAST
%D 1996
%E Wirsing, Martin
%E Nivat, Maurice
%I Springer
%K dblp
%P 306-320
%T A Study on the Specification and Verification of Performance Properties (Extended Abstract).
%U http://dblp.uni-trier.de/db/conf/amast/amast96.html#ChenCG96
%V 1101
%@ 3-540-61463-X
@inproceedings{conf/amast/ChenCG96,
added-at = {2017-05-22T00:00:00.000+0200},
author = {Chen, Xiao Jun and Corradini, Flavio and Gorrieri, Roberto},
biburl = {https://www.bibsonomy.org/bibtex/28938f025263e7d002c7cc8d553036e75/dblp},
booktitle = {AMAST},
crossref = {conf/amast/1996},
editor = {Wirsing, Martin and Nivat, Maurice},
ee = {https://doi.org/10.1007/BFb0014324},
interhash = {20bff7b9d107e3e88bfe5ef570f0f4e2},
intrahash = {8938f025263e7d002c7cc8d553036e75},
isbn = {3-540-61463-X},
keywords = {dblp},
pages = {306-320},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T14:25:10.000+0200},
title = {A Study on the Specification and Verification of Performance Properties (Extended Abstract).},
url = {http://dblp.uni-trier.de/db/conf/amast/amast96.html#ChenCG96},
volume = 1101,
year = 1996
}