%0 Conference Paper %1 conf/delta/KeatingMH11 %A Keating, Daniel %A McInnes, Allan %A Hayes, Michael P. %B DELTA %D 2011 %I IEEE Computer Society %K dblp %P 83-88 %T An Industrial Application of Model Checking to a Vessel Control System. %U http://dblp.uni-trier.de/db/conf/delta/delta2011.html#KeatingMH11 %@ 978-1-4244-9357-9

@inproceedings{conf/delta/KeatingMH11, added-at = {2023-03-24T00:00:00.000+0100}, author = {Keating, Daniel and McInnes, Allan and Hayes, Michael P.}, biburl = {https://www.bibsonomy.org/bibtex/2c270daa05c53584f97c362617bab6569/dblp}, booktitle = {DELTA}, crossref = {conf/delta/2011}, ee = {https://doi.ieeecomputersociety.org/10.1109/DELTA.2011.24}, interhash = {39e35af5c280a36b41bbbf85c57f2968}, intrahash = {c270daa05c53584f97c362617bab6569}, isbn = {978-1-4244-9357-9}, keywords = {dblp}, pages = {83-88}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T16:16:33.000+0200}, title = {An Industrial Application of Model Checking to a Vessel Control System.}, url = {http://dblp.uni-trier.de/db/conf/delta/delta2011.html#KeatingMH11}, year = 2011 }