Publications

AuthID
P-00K-KM3

Author(s)

Person, S

Document Type

Proceedings

Year published

2012

Published

in NASA Formal Methods in Lecture Notes in Computer Science

Volume: 7226

Indexing

Google Scholar^®

Publication Identifiers

DOI: 10.1007/978-3-642-28891-3

Dblp: conf/nfm/2012

Export Publication Metadata

Marked List

Info

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

Useful Links