%0 Journal Article %1 journals/tcs/LermerS01 %A Lermer, Karl %A Strooper, Paul A. %D 2001 %J Theor. Comput. Sci. %K dblp %N 1-2 %P 195-235 %T Refinement and state machine abstraction. %U http://dblp.uni-trier.de/db/journals/tcs/tcs266.html#LermerS01 %V 266

@article{journals/tcs/LermerS01, added-at = {2021-02-17T00:00:00.000+0100}, author = {Lermer, Karl and Strooper, Paul A.}, biburl = {https://www.bibsonomy.org/bibtex/2353843477efb5b98515220fd1e003ffc/dblp}, ee = {https://doi.org/10.1016/S0304-3975(00)00169-9}, interhash = {581882fe3e74b298a8cdcae460331af7}, intrahash = {353843477efb5b98515220fd1e003ffc}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = {1-2}, pages = {195-235}, timestamp = {2024-04-08T18:48:04.000+0200}, title = {Refinement and state machine abstraction.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs266.html#LermerS01}, volume = 266, year = 2001 }