%0 Conference Paper %1 journals/entcs/PaigeKP05 %A Paige, Richard F. %A Kolovos, Dimitrios S. %A Polack, Fiona %B REFINE %D 2005 %E Derrick, John %E Boiten, Eerke A. %I Elsevier %K dblp %N 2 %P 151-161 %T Refinement via Consistency Checking in MDA. %U http://dblp.uni-trier.de/db/conf/refine/refine2005.html#PaigeKP05 %V 137

@inproceedings{journals/entcs/PaigeKP05, added-at = {2022-12-12T00:00:00.000+0100}, author = {Paige, Richard F. and Kolovos, Dimitrios S. and Polack, Fiona}, biburl = {https://www.bibsonomy.org/bibtex/2e79e9c94f7d5f116165dca8b50c9e513/dblp}, booktitle = {REFINE}, crossref = {conf/refine/2005}, editor = {Derrick, John and Boiten, Eerke A.}, ee = {https://doi.org/10.1016/j.entcs.2005.04.029}, interhash = {afdb9e4ec1e18c38d7916bde5d792b4a}, intrahash = {e79e9c94f7d5f116165dca8b50c9e513}, keywords = {dblp}, number = 2, pages = {151-161}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T23:40:40.000+0200}, title = {Refinement via Consistency Checking in MDA.}, url = {http://dblp.uni-trier.de/db/conf/refine/refine2005.html#PaigeKP05}, volume = 137, year = 2005 }