Publicações

AuthID
P-00N-DHY

Author(s)

Hu, Z

Fischer, S

Tipo de Documento

Proceedings Paper

Year published

2014

Publicado

in FM, ISSN: 0302-9743

Volume: 8442 LNCS, Páginas: 1-15

Conference

19Th International Symposium on Formal Methods, Fm 2014, Date: 12 May 2014 through 16 May 2014, Location: Singapore

Indexing

Scopus^®

Crossref^®9

Google Scholar^®

Publication Identifiers

DOI: 10.1007/978-3-319-06410-9_1

DBLP: conf/fm/HuPF14

SCOPUS: 2-s2.0-84958530512

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Lista Marked

Info

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

Links Úteis