%0 Journal Article %1 roggenbach_cspCasl_2006 %A Roggenbach, Markus %D 2006 %J Theoretical Computer Science %K imported %N 1 %P 42-71 %T CSP-CASL - A new integration of process algebra and algebraic specification %V 354

@article{roggenbach_cspCasl_2006, added-at = {2013-02-28T11:13:35.000+0100}, author = {Roggenbach, Markus}, biburl = {https://www.bibsonomy.org/bibtex/2b6c9bfdbca4b8fbae3f914cdb9b4948a/fritzsolms}, interhash = {98bb4627cf52400b34da9d3fe1e90b33}, intrahash = {b6c9bfdbca4b8fbae3f914cdb9b4948a}, journal = {Theoretical Computer Science}, keywords = {imported}, number = 1, pages = {42-71}, timestamp = {2013-02-28T11:14:21.000+0100}, title = {CSP-CASL - A new integration of process algebra and algebraic specification}, volume = 354, year = 2006 }