%0 Journal Article %1 journals/fac/BoitenDS09 %A Boiten, Eerke A. %A Derrick, John %A Schellhorn, Gerhard %D 2009 %J Formal Aspects Comput. %K dblp %N 1-2 %P 65-102 %T Relational concurrent refinement part II: Internal operations and outputs. %U http://dblp.uni-trier.de/db/journals/fac/fac21.html#BoitenDS09 %V 21

@article{journals/fac/BoitenDS09, added-at = {2022-05-09T00:00:00.000+0200}, author = {Boiten, Eerke A. and Derrick, John and Schellhorn, Gerhard}, biburl = {https://www.bibsonomy.org/bibtex/204a8f63bc66e01b3ff06102b2737877b/dblp}, ee = {https://doi.org/10.1007/s00165-007-0066-z}, interhash = {837488572d5aa6f08c43e9061e3052a1}, intrahash = {04a8f63bc66e01b3ff06102b2737877b}, journal = {Formal Aspects Comput.}, keywords = {dblp}, number = {1-2}, pages = {65-102}, timestamp = {2024-04-09T05:37:36.000+0200}, title = {Relational concurrent refinement part II: Internal operations and outputs.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac21.html#BoitenDS09}, volume = 21, year = 2009 }