%0 Conference Paper %1 conf/itre/YanHA05 %A Yan, Wei %A Hou, Edwin S. H. %A Ansari, Nirwan %B ITRE %D 2005 %I IEEE %K dblp %P 225-229 %T Frame-based attack representation and real-time first order logic automatic reasoning. %U http://dblp.uni-trier.de/db/conf/itre/itre2005.html#YanHA05 %@ 0-7803-8933-6

@inproceedings{conf/itre/YanHA05, added-at = {2015-09-02T00:00:00.000+0200}, author = {Yan, Wei and Hou, Edwin S. H. and Ansari, Nirwan}, biburl = {https://www.bibsonomy.org/bibtex/2223581216502722d42ab68ca2ed5d84f/dblp}, booktitle = {ITRE}, crossref = {conf/itre/2005}, ee = {http://dx.doi.org/10.1109/ITRE.2005.1503109}, interhash = {0463831393a592765f3d82af8715b16b}, intrahash = {223581216502722d42ab68ca2ed5d84f}, isbn = {0-7803-8933-6}, keywords = {dblp}, pages = {225-229}, publisher = {IEEE}, timestamp = {2015-09-03T11:35:50.000+0200}, title = {Frame-based attack representation and real-time first order logic automatic reasoning.}, url = {http://dblp.uni-trier.de/db/conf/itre/itre2005.html#YanHA05}, year = 2005 }