Publications

A Coalgebraic Semantic Framework for Reasoning About Uml Sequence Diagrams

AuthID
P-007-NHG

Author(s)

Meng, S

Barbosa, LS

Editor(s)

Hong Zhu

Document Type

Proceedings Paper

Year published

2008

Published

in Proceedings - International Conference on Quality Software in QSIC, ISSN: 1550-6002

Pages: 17-26

Conference

8Th International Conference on Quality Software, Qsic 2008, Date: 12 August 2008 through 13 August 2008, Location: Oxford, Sponsors: Oxford Brookes University;The University of Hong Kong

Indexing

Scopus^®

Dblp^®/en/publications/view/251440

Crossref^®3

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1109/qsic.2008.13

DBLP: conf/qsic/MengB08

SCOPUS: 2-s2.0-52449084913

Source Identifiers

ISSN: 1550-6002

Export Publication Metadata

Marked List

Add to Marked List

Info

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

A Coalgebraic Semantic Framework for Reasoning About Uml Sequence Diagrams

Useful Links

Get Help

Federated Authentication (Click on the image)

A Coalgebraic Semantic Framework for Reasoning About Uml Sequence Diagrams

Useful Links

Get Help