Publications

AuthID
P-00M-51W

Author(s)

Oliveira, N

Editor(s)

Razieh Behjati; Ahmed Elmokashfi

Document Type

Article

Year published

2016

Published

in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE in EPTCS, ISSN: 2075-2180

Volume: 228, Issue: 228, Pages: 35-45 (11)

Conference

1St International Workshop on Formal Methods for and on the Cloud, Ifmcloud 2016, Date: 4 June 2016

Indexing

Wos^®

Scopus^®

Crossref^®2

Google Scholar^®

Publication Identifiers

DOI: 10.4204/eptcs.228.5

DBLP: journals/corr/OliveiraB16a

SCOPUS: 2-s2.0-85017894040

Wos: WOS:000390329300006

Source Identifiers

ISSN: 2075-2180

Export Publication Metadata

Marked List

Info

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

Useful Links