Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Conference Paper
%1 conf/apsec/AnhM96
%A Anh, Dao Nam
%A Moore, Richard
%B APSEC
%D 1996
%I IEEE Computer Society
%K dblp
%P 246-
%T Formal Modeling of Large Domains.
%U http://dblp.uni-trier.de/db/conf/apsec/apsec1996.html#AnhM96
%@ 0-8186-7638-8
@inproceedings{conf/apsec/AnhM96,
added-at = {2023-03-23T00:00:00.000+0100},
author = {Anh, Dao Nam and Moore, Richard},
biburl = {https://www.bibsonomy.org/bibtex/2a0cf16198b812ec07870d07633c90d77/dblp},
booktitle = {APSEC},
crossref = {conf/apsec/1996},
ee = {https://doi.ieeecomputersociety.org/10.1109/APSEC.1996.566759},
interhash = {83047d887b06b0de7508a83f3efa7708},
intrahash = {a0cf16198b812ec07870d07633c90d77},
isbn = {0-8186-7638-8},
keywords = {dblp},
pages = {246-},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T03:15:25.000+0200},
title = {Formal Modeling of Large Domains.},
url = {http://dblp.uni-trier.de/db/conf/apsec/apsec1996.html#AnhM96},
year = 1996
}
