%0 Conference Paper %1 journals/corr/abs-1106-4097 %A Banach, Richard %A Zhu, Huibiao %A Su, Wen %A Huang, Runlei %B Refine@FM %D 2011 %E Derrick, John %E Boiten, Eerke A. %E Reeves, Steve %K dblp %P 121-138 %T Formalising the Continuous/Discrete Modeling Step %U http://dblp.uni-trier.de/db/series/eptcs/eptcs55.html#abs-1106-4097 %V 55

@inproceedings{journals/corr/abs-1106-4097, added-at = {2018-09-12T00:00:00.000+0200}, author = {Banach, Richard and Zhu, Huibiao and Su, Wen and Huang, Runlei}, biburl = {https://www.bibsonomy.org/bibtex/241043dd5b0b3b98b67330b2845f80786/dblp}, booktitle = {Refine@FM}, crossref = {journals/corr/abs-1106-3488}, editor = {Derrick, John and Boiten, Eerke A. and Reeves, Steve}, ee = {http://arxiv.org/abs/1106.4097}, interhash = {64382cbf50d3d5b743406623e2453a26}, intrahash = {41043dd5b0b3b98b67330b2845f80786}, keywords = {dblp}, pages = {121-138}, series = {EPTCS}, timestamp = {2018-09-13T11:41:10.000+0200}, title = {Formalising the Continuous/Discrete Modeling Step}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs55.html#abs-1106-4097}, volume = 55, year = 2011 }