%0 Conference Paper %1 conf/eurodac/SchaeferK92 %A Schaefer, M. T. L. %A Klein, W. U. %B EURO-DAC %D 1992 %E Musgrave, Gerald %I IEEE Computer Society Press %K dblp %P 80-85 %T Correctness verification of concurrent controller specifications. %U http://dblp.uni-trier.de/db/conf/eurodac/euro-dac1992.html#SchaeferK92 %@ 0-8186-2780-8

@inproceedings{conf/eurodac/SchaeferK92, added-at = {2017-05-24T00:00:00.000+0200}, author = {Schaefer, M. T. L. and Klein, W. U.}, biburl = {https://www.bibsonomy.org/bibtex/22bce90c48906383e5d52a16490c55705/dblp}, booktitle = {EURO-DAC}, crossref = {conf/eurodac/1992}, editor = {Musgrave, Gerald}, ee = {http://dl.acm.org/citation.cfm?id=159769}, interhash = {bcdef46cef1506478ae654f5cfbceab3}, intrahash = {2bce90c48906383e5d52a16490c55705}, isbn = {0-8186-2780-8}, keywords = {dblp}, pages = {80-85}, publisher = {IEEE Computer Society Press}, timestamp = {2019-10-17T22:25:49.000+0200}, title = {Correctness verification of concurrent controller specifications.}, url = {http://dblp.uni-trier.de/db/conf/eurodac/euro-dac1992.html#SchaeferK92}, year = 1992 }