%0 Conference Paper %1 conf/iceccs/LanoG95 %A Lano, Kevin %A Goldsack, S. J. %B ICECCS %D 1995 %I IEEE Computer Society %K dblp %P 129-136 %T Discrete event process controller synthesis using VDM/sup ++/. %U http://dblp.uni-trier.de/db/conf/iceccs/iceccs1995.html#LanoG95 %@ 0-8186-7123-8

@inproceedings{conf/iceccs/LanoG95, added-at = {2015-04-23T00:00:00.000+0200}, author = {Lano, Kevin and Goldsack, S. J.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2cbed408f10b18e705ef3a2d9640bdb39/dblp}, booktitle = {ICECCS}, crossref = {conf/iceccs/1995}, ee = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.1995.479318}, interhash = {929a954ada7dd12e4753e537ce4e61b3}, intrahash = {cbed408f10b18e705ef3a2d9640bdb39}, isbn = {0-8186-7123-8}, keywords = {dblp}, pages = {129-136}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T12:01:15.000+0100}, title = {Discrete event process controller synthesis using VDM/sup ++/.}, url = {http://dblp.uni-trier.de/db/conf/iceccs/iceccs1995.html#LanoG95}, year = 1995 }