%0 Conference Paper %1 conf/acsc/ReeveR06 %A Reeve, Greg %A Reeves, Steve %B ACSC %D 2006 %E Estivill-Castro, Vladimir %E Dobbie, Gillian %I Australian Computer Society %K dblp %P 13-23 %T Logic and refinement for charts. %U http://dblp.uni-trier.de/db/conf/acsc/acsc2006.html#ReeveR06 %V 48 %@ 1-920682-30-9

@inproceedings{conf/acsc/ReeveR06, added-at = {2018-11-30T00:00:00.000+0100}, author = {Reeve, Greg and Reeves, Steve}, biburl = {https://www.bibsonomy.org/bibtex/2a54f3d31dba14949e1bb47047f9652bd/dblp}, booktitle = {ACSC}, crossref = {conf/acsc/2006}, editor = {Estivill-Castro, Vladimir and Dobbie, Gillian}, ee = {https://dl.acm.org/citation.cfm?id=1151701}, interhash = {c527a401d14171277b43b094c8620d99}, intrahash = {a54f3d31dba14949e1bb47047f9652bd}, isbn = {1-920682-30-9}, keywords = {dblp}, pages = {13-23}, publisher = {Australian Computer Society}, series = {CRPIT}, timestamp = {2018-12-01T13:16:28.000+0100}, title = {Logic and refinement for charts.}, url = {http://dblp.uni-trier.de/db/conf/acsc/acsc2006.html#ReeveR06}, volume = 48, year = 2006 }