2008
Calculating Invariants as Coreflexive Bisimulations
Publication
Publication
Presented at the
Algebraic Methodology and Software Technology
Additional Metadata | |
---|---|
Springer | |
Algebraic Methodology and Software Technology | |
Organisation | Computer Security |
Barbosa, L. S., Oliveira, J., & Silva, A. (2008). Calculating Invariants as Coreflexive Bisimulations. Springer. |