Calculating Invariants as Coreflexive Bisimulations

Additional Metadata
THEME	Software (theme 1)
Publisher	Springer
ISBN	978-3-540-79979
Conference	Algebraic Methodology and Software Technology
Organisation	Computer Security
Citation APA APA Style APA-ALL Style AAA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Barbosa, L. S., Oliveira, J.& Silva, A. (2008, January). Calculating Invariants as Coreflexive Bisimulations.

Publication