An Example of Specification and Verification in Cesar.
J. Fernandez, J. Schwartz, и J. Sifakis. The Analysis of Concurrent Systems, том 207 из Lecture Notes in Computer Science, стр. 199-210. Springer, (1983)
Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Conference Paper
%1 conf/acs/FernandezSS83
%A Fernandez, Jean-Claude
%A Schwartz, Jean-Philippe
%A Sifakis, Joseph
%B The Analysis of Concurrent Systems
%D 1983
%E Denvir, B. Tim
%E Harwood, W. T.
%E Jackson, M. I.
%E Wray, M. J.
%I Springer
%K
%P 199-210
%T An Example of Specification and Verification in Cesar.
%U http://dblp.uni-trier.de/db/conf/acs/acs1983.html#FernandezSS83
%V 207
%@ 0-387-16047-7
@inproceedings{conf/acs/FernandezSS83,
added-at = {2023-12-12T23:36:31.000+0100},
author = {Fernandez, Jean-Claude and Schwartz, Jean-Philippe and Sifakis, Joseph},
biburl = {https://www.bibsonomy.org/bibtex/264fd34b4791d51b6a056a813b29b1b83/admin},
booktitle = {The Analysis of Concurrent Systems},
crossref = {conf/acs/1983},
editor = {Denvir, B. Tim and Harwood, W. T. and Jackson, M. I. and Wray, M. J.},
ee = {https://doi.org/10.1007/3-540-16047-7_47},
interhash = {57d9c0a758638aabb4eb021276569b99},
intrahash = {64fd34b4791d51b6a056a813b29b1b83},
isbn = {0-387-16047-7},
keywords = {},
pages = {199-210},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2023-12-12T23:36:31.000+0100},
title = {An Example of Specification and Verification in Cesar.},
url = {http://dblp.uni-trier.de/db/conf/acs/acs1983.html#FernandezSS83},
volume = 207,
year = 1983
}
