%0 Conference Paper %1 conf/isn/SullivanM94 %A Sullivan, Dolores %A McLaughlin, Patrick %B IS&N %D 1994 %E Kugler, Hans-Jürgen %E Mullery, Alvin P. %E Niebert, Norbert %I Springer %K dblp %P 553-562 %T A Comparison of the PRISM and OMNI-Point Methodologies for the Specification of Management Systems. %U http://dblp.uni-trier.de/db/conf/isn/isn1994.html#SullivanM94 %V 851 %@ 3-540-58420-X

@inproceedings{conf/isn/SullivanM94, added-at = {2017-05-20T00:00:00.000+0200}, author = {Sullivan, Dolores and McLaughlin, Patrick}, biburl = {https://www.bibsonomy.org/bibtex/261b2bd71501d1ccd86f9a25b5393193e/dblp}, booktitle = {IS&N}, crossref = {conf/isn/1994}, editor = {Kugler, Hans-Jürgen and Mullery, Alvin P. and Niebert, Norbert}, ee = {https://doi.org/10.1007/BFb0013447}, interhash = {f4a4c0a06703828d0873e3d01c7c51d3}, intrahash = {61b2bd71501d1ccd86f9a25b5393193e}, isbn = {3-540-58420-X}, keywords = {dblp}, pages = {553-562}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:23:40.000+0200}, title = {A Comparison of the PRISM and OMNI-Point Methodologies for the Specification of Management Systems.}, url = {http://dblp.uni-trier.de/db/conf/isn/isn1994.html#SullivanM94}, volume = 851, year = 1994 }