%0 Conference Paper %1 conf/dbsec/LinKT89 %A Lin, Tsau Young %A Kerschberg, Larry %A Trueblood, Robert P. %B DBSec %D 1989 %E Spooner, David L. %E Landwehr, Carl E. %I North-Holland %K dblp %P 75-96 %T Security Algebras and Formal Models: Using Petri Net Theory. %U http://dblp.uni-trier.de/db/conf/dbsec/dbsec89.html#LinKT89 %@ 0-444-88701-6

@inproceedings{conf/dbsec/LinKT89, added-at = {2014-07-16T00:00:00.000+0200}, author = {Lin, Tsau Young and Kerschberg, Larry and Trueblood, Robert P.}, biburl = {https://www.bibsonomy.org/bibtex/2962a13624a3f04dfd2a2cfa601319c7a/dblp}, booktitle = {DBSec}, crossref = {conf/dbsec/89}, editor = {Spooner, David L. and Landwehr, Carl E.}, interhash = {8303016b992d20bffd52d785fe2a470b}, intrahash = {962a13624a3f04dfd2a2cfa601319c7a}, isbn = {0-444-88701-6}, keywords = {dblp}, pages = {75-96}, publisher = {North-Holland}, timestamp = {2015-06-19T11:44:32.000+0200}, title = {Security Algebras and Formal Models: Using Petri Net Theory.}, url = {http://dblp.uni-trier.de/db/conf/dbsec/dbsec89.html#LinKT89}, year = 1989 }