P. Azéma, F. Vernadat, and J. Lloret. Automatic Verification Methods for Finite State Systems, volume 407 of Lecture Notes in Computer Science, page 286-293. Springer, (1989)
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/avmfss/AzemaVL89
%A Azéma, Pierre
%A Vernadat, François
%A Lloret, Jean Christophe
%B Automatic Verification Methods for Finite State Systems
%D 1989
%E Sifakis, Joseph
%I Springer
%K dblp
%P 286-293
%T Requirement Analysis for Communication Protocols.
%U http://dblp.uni-trier.de/db/conf/avmfss/avmfss1989.html#AzemaVL89
%V 407
%@ 3-540-52148-8
@inproceedings{conf/avmfss/AzemaVL89,
added-at = {2021-03-17T00:00:00.000+0100},
author = {Azéma, Pierre and Vernadat, François and Lloret, Jean Christophe},
biburl = {https://www.bibsonomy.org/bibtex/24b9d0f1777c9c5f9f5c4ac5b5448f68b/dblp},
booktitle = {Automatic Verification Methods for Finite State Systems},
crossref = {conf/avmfss/1989},
editor = {Sifakis, Joseph},
ee = {https://doi.org/10.1007/3-540-52148-8_24},
interhash = {c3c28f2530f12c2f5591b62a9f851bef},
intrahash = {4b9d0f1777c9c5f9f5c4ac5b5448f68b},
isbn = {3-540-52148-8},
keywords = {dblp},
pages = {286-293},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-10T04:32:59.000+0200},
title = {Requirement Analysis for Communication Protocols.},
url = {http://dblp.uni-trier.de/db/conf/avmfss/avmfss1989.html#AzemaVL89},
volume = 407,
year = 1989
}
