%0 Journal Article %1 journals/fac/SmithW09 %A Smith, Graeme %A Winter, Kirsten %D 2009 %J Formal Asp. Comput. %K %N 1-2 %P 155-186 %T Model checking action system refinements. %U http://dblp.uni-trier.de/db/journals/fac/fac21.html#SmithW09 %V 21

@article{journals/fac/SmithW09, added-at = {2023-12-13T01:53:35.000+0100}, author = {Smith, Graeme and Winter, Kirsten}, biburl = {https://www.bibsonomy.org/bibtex/215b57be9d6bc425db070cf47c5b04f0b/admin}, ee = {https://doi.org/10.1007/s00165-007-0053-4}, interhash = {77edfd25b177d17e05dc92f58cb63e63}, intrahash = {15b57be9d6bc425db070cf47c5b04f0b}, journal = {Formal Asp. Comput.}, keywords = {}, number = {1-2}, pages = {155-186}, timestamp = {2023-12-13T01:53:35.000+0100}, title = {Model checking action system refinements.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac21.html#SmithW09}, volume = 21, year = 2009 }