%0 Conference Paper %1 conf/scai/RaynerHAW89 %A Rayner, Manny %A Hugosson, Åsa %A Aronsson, Martin %A Wærn, Annika %B SCAI %D 1989 %E Jaakkola, Hannu %E Linnainmaa, Seppo %I IOS Press %K dblp %P 739-751 %T Formal Reasoning about Plan-Controlled Vehicles. %U http://dblp.uni-trier.de/db/conf/scai/scai1989.html#RaynerHAW89 %V 4 %@ 90-5199-017-0

@inproceedings{conf/scai/RaynerHAW89, added-at = {2019-08-01T00:00:00.000+0200}, author = {Rayner, Manny and Hugosson, Åsa and Aronsson, Martin and Wærn, Annika}, biburl = {https://www.bibsonomy.org/bibtex/2563a84aba37e97cc3439106001199200/dblp}, booktitle = {SCAI}, crossref = {conf/scai/1989}, editor = {Jaakkola, Hannu and Linnainmaa, Seppo}, interhash = {8e134a2ce10f0ce25db1849a47610248}, intrahash = {563a84aba37e97cc3439106001199200}, isbn = {90-5199-017-0}, keywords = {dblp}, pages = {739-751}, publisher = {IOS Press}, series = {Frontiers in Artificial Intelligence and Applications}, timestamp = {2019-08-02T11:36:19.000+0200}, title = {Formal Reasoning about Plan-Controlled Vehicles.}, url = {http://dblp.uni-trier.de/db/conf/scai/scai1989.html#RaynerHAW89}, volume = 4, year = 1989 }