Publications

Calculating Invariants as Coreflexive Bisimulations

AuthID
P-004-2CV

Author(s)

Barbosa, LS

Oliveira, JN

Silva, A

Editor(s)

Meseguer, J; Rosu, G

Document Type

Proceedings Paper

Year published

2008

Published

in ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS in LECTURE NOTES IN COMPUTER SCIENCE, ISSN: 0302-9743

Volume: 5140, Pages: 83-99 (17)

Conference

12Th International Conference on Algebraic Methodology and Software Technology, Date: JUL 28-31, 2008, Location: Urbana, IL, Sponsors: Univ IllinoisUrbana-Champaign, Dept Comp Sci

Indexing

Wos^®

Scopus^®

Dblp^®/en/publications/view/133531

Crossref^®8

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/978-3-540-79980-1_7

Dblp: conf/amast/BarbosaOS08

Scopus: 2-s2.0-51049107971

Wos: WOS:000258182100007

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Calculating Invariants as Coreflexive Bisimulations

Useful Links

Get Help

Federated Authentication (Click on the image)

Calculating Invariants as Coreflexive Bisimulations

Useful Links

Get Help