%0 Conference Paper %1 fischer00behavioural %A Fischer, Clemens %A Wehrheim, Heike %B Proceedings of AMAST 2000: International Conference on Algebraic Methodology And Software Technology %D 2000 %I Springer Verlag %K typing %T Behavioural Subtyping Relations for Object-Oriented Formalisms %V 1816

@inproceedings{fischer00behavioural, added-at = {2011-12-16T09:33:50.000+0100}, author = {Fischer, Clemens and Wehrheim, Heike}, biburl = {https://www.bibsonomy.org/bibtex/291fed7aea10e2a8f040fd0e524f24f5f/pbrada}, booktitle = {Proceedings of {AMAST} 2000: International Conference on Algebraic Methodology And Software Technology}, groups = {public}, interhash = {22f6a1e7afc7ed6f433894f91406a335}, intrahash = {91fed7aea10e2a8f040fd0e524f24f5f}, keywords = {typing}, publisher = {Springer Verlag}, series = {Lecture Notes in Computer Science}, timestamp = {2011-12-16T09:33:50.000+0100}, title = {Behavioural Subtyping Relations for Object-Oriented Formalisms}, username = {pbrada}, volume = 1816, year = 2000 }