%0 Conference Paper %1 conf/forte/SimonM91 %A Simon, Linda %A Marshall, Lynn S. %B FORTE %D 1991 %E Parker, Ken R. %E Rose, Gordon A. %I North-Holland %K dblp %P 17-31 %T Using VDM to Specify OSI Managed Objects. %U http://dblp.uni-trier.de/db/conf/forte/forte1991.html#SimonM91 %V C-2 %@ 0-444-89402-0

@inproceedings{conf/forte/SimonM91, added-at = {2002-01-03T00:00:00.000+0100}, author = {Simon, Linda and Marshall, Lynn S.}, biburl = {https://www.bibsonomy.org/bibtex/251383e83da312acc876115ab2e1abe96/dblp}, booktitle = {FORTE}, crossref = {conf/forte/1991}, date = {2002-01-03}, description = {dblp}, editor = {Parker, Ken R. and Rose, Gordon A.}, interhash = {0c055c40d35101f66b933a8149b75352}, intrahash = {51383e83da312acc876115ab2e1abe96}, isbn = {0-444-89402-0}, keywords = {dblp}, pages = {17-31}, publisher = {North-Holland}, series = {IFIP Transactions}, timestamp = {2002-01-03T00:00:00.000+0100}, title = {Using VDM to Specify OSI Managed Objects.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte1991.html#SimonM91}, volume = {C-2}, year = 1991 }