%0 Conference Paper %1 conf/dbsec/BiskupE93 %A Biskup, Joachim %A Eckert, Christian %B DBSec %D 1993 %E Keefe, Thomas F. %E Landwehr, Carl E. %I North-Holland %K %P 3-17 %T About the Enforcement of State Dependent Specifications. %U http://dblp.uni-trier.de/db/conf/dbsec/dbsec93.html#BiskupE93 %V A-47 %@ 0-444-81833-2

@inproceedings{conf/dbsec/BiskupE93, added-at = {2023-12-13T04:05:04.000+0100}, author = {Biskup, Joachim and Eckert, Christian}, biburl = {https://www.bibsonomy.org/bibtex/23694d8ecf876faba577f0e2d3fb8ae58/admin}, booktitle = {DBSec}, crossref = {conf/dbsec/1993}, date = {2002-01-03}, editor = {Keefe, Thomas F. and Landwehr, Carl E.}, interhash = {91bf6a28f236af2c560f394d7ef1c0ad}, intrahash = {3694d8ecf876faba577f0e2d3fb8ae58}, isbn = {0-444-81833-2}, keywords = {}, pages = {3-17}, publisher = {North-Holland}, series = {IFIP Transactions}, timestamp = {2023-12-13T04:05:04.000+0100}, title = {About the Enforcement of State Dependent Specifications.}, url = {http://dblp.uni-trier.de/db/conf/dbsec/dbsec93.html#BiskupE93}, volume = {A-47}, year = 1993 }