%0 Journal Article %1 journals/fuin/HartogVB99 %A den Hartog, Jerry %A de Vink, Erik P. %A de Bakker, J. W. %D 1999 %J Fundam. Informaticae %K dblp %N 4 %P 335-382 %T Full Abstractness of a Metric Semantics for Action Refinement. %U http://dblp.uni-trier.de/db/journals/fuin/fuin40.html#HartogVB99 %V 40

@article{journals/fuin/HartogVB99, added-at = {2020-09-18T00:00:00.000+0200}, author = {den Hartog, Jerry and de Vink, Erik P. and de Bakker, J. W.}, biburl = {https://www.bibsonomy.org/bibtex/2493b6e8755ed68cad08c13205dcb85f9/dblp}, ee = {https://doi.org/10.3233/FI-1999-40402}, interhash = {0c3785ac245dc8edbf8a10caa4ab1377}, intrahash = {493b6e8755ed68cad08c13205dcb85f9}, journal = {Fundam. Informaticae}, keywords = {dblp}, number = 4, pages = {335-382}, timestamp = {2020-09-19T11:37:59.000+0200}, title = {Full Abstractness of a Metric Semantics for Action Refinement.}, url = {http://dblp.uni-trier.de/db/journals/fuin/fuin40.html#HartogVB99}, volume = 40, year = 1999 }