Publicações

Informative Types and Effects for Hybrid Migration Control

AuthID
P-008-GKK

Author(s)

Matos, AA

Cederquist, J

Editor(s)

Legay, A; Bensalem, S

Document Type

Proceedings Paper

Year published

2013

Published

in RUNTIME VERIFICATION, RV 2013 in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 8174, Pages: 21-39 (19)

Conference

4Th International Conference on Runtime Verification (Rv), Date: SEP 24-27, 2013, Location: Rennes, FRANCE, Sponsors: Univ Rennes 1, INRIA, Fondat Metivier, SISCOM Bretagne

Indexing

Wos^®

Scopus^®

Dblp^®/pt/publications/view/279155

Crossref^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/978-3-642-40787-1_2

Dblp: conf/rv/MatosC13

Scopus: 2-s2.0-84887464197

Wos: WOS:000334102800002

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

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

Informative Types and Effects for Hybrid Migration Control

Useful Links

Get Help

Autenticação Federada (Click on the image)

Informative Types and Effects for Hybrid Migration Control

Useful Links

Get Help