Publications

AuthID
P-00K-MR9

Author(s)

Ábrahám, E

Johnsen, EB

Document Type

Proceedings

Year published

2016

Published

in Theory and Practice of Formal Methods in Lecture Notes in Computer Science

Volume: 9660

Indexing

Google Scholar^®

Publication Identifiers

DOI: 10.1007/978-3-319-30734-3

Dblp: conf/birthday/2016deboer

Export Publication Metadata

Marked List

Info

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

Useful Links