%0 Conference Paper %1 conf/sefm/JamesMNRSTTW13 %A James, Phillip %A Moller, Faron %A Nguyen, Hoang Nga %A Roggenbach, Markus %A Schneider, Steve %A Treharne, Helen %A Trumble, Matthew %A Williams, David M. %B SEFM Workshops %D 2013 %E Counsell, Steve %E Núñez, Manuel %I Springer %K dblp %P 189-204 %T Verification of Scheme Plans Using CSP $$||$$ | | B. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2013w.html#JamesMNRSTTW13 %V 8368 %@ 978-3-319-05031-7

@inproceedings{conf/sefm/JamesMNRSTTW13, added-at = {2019-06-02T00:00:00.000+0200}, author = {James, Phillip and Moller, Faron and Nguyen, Hoang Nga and Roggenbach, Markus and Schneider, Steve and Treharne, Helen and Trumble, Matthew and Williams, David M.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/21e9274e60d64c143d95a45499e26ec9f/dblp}, booktitle = {SEFM Workshops}, crossref = {conf/sefm/2013w}, editor = {Counsell, Steve and Núñez, Manuel}, ee = {https://www.wikidata.org/entity/Q59556885}, interhash = {b242df83c8ebfedc8189786a75de5ffc}, intrahash = {1e9274e60d64c143d95a45499e26ec9f}, isbn = {978-3-319-05031-7}, keywords = {dblp}, pages = {189-204}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T18:44:58.000+0200}, title = {Verification of Scheme Plans Using CSP $$||$$ | | B.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2013w.html#JamesMNRSTTW13}, volume = 8368, year = 2013 }