Publications

AuthID
P-00N-DHY

Author(s)

Hu, Z

Fischer, S

Document Type

Proceedings Paper

Year published

2014

Published

in FM, ISSN: 0302-9743

Volume: 8442 LNCS, Pages: 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

Marked List

Info

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

Useful Links