%0 Conference Paper %1 conf/acsd/PetrucciBKQ03 %A Petrucci, Laure %A Billington, Jonathan %A Kristensen, Lars Michael %A Qureshi, Zahid H. %B ACSD %D 2003 %I IEEE Computer Society %K dblp %P 92-101 %T Developing a Formal Specification for the Mission System of a Maritime Surveillance Aircraft. %U http://dblp.uni-trier.de/db/conf/acsd/acsd2003.html#PetrucciBKQ03 %@ 0-7695-1887-7

@inproceedings{conf/acsd/PetrucciBKQ03, added-at = {2023-03-24T00:00:00.000+0100}, author = {Petrucci, Laure and Billington, Jonathan and Kristensen, Lars Michael and Qureshi, Zahid H.}, biburl = {https://www.bibsonomy.org/bibtex/28c3abec33f9adabad2867eff76eec63e/dblp}, booktitle = {ACSD}, crossref = {conf/acsd/2003}, ee = {https://doi.ieeecomputersociety.org/10.1109/CSD.2003.1207703}, interhash = {f5e1938d6cd2b2e8822845ff0398b312}, intrahash = {8c3abec33f9adabad2867eff76eec63e}, isbn = {0-7695-1887-7}, keywords = {dblp}, pages = {92-101}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T05:59:23.000+0200}, title = {Developing a Formal Specification for the Mission System of a Maritime Surveillance Aircraft.}, url = {http://dblp.uni-trier.de/db/conf/acsd/acsd2003.html#PetrucciBKQ03}, year = 2003 }