%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 }