Publications

AuthID
P-00N-YM0

Author(s)

Editor(s)

Butler,M;Raschke,A;Hoang,TS;Reichl,K

Document Type

Proceedings Paper

Year published

2018

Published

in ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z, ABZ 2018, ISSN: 0302-9743

Volume: 10817, Pages: 307-321 (15)

Indexing

Wos^®

Scopus^®

Crossref^®17

Google Scholar^®

Publication Identifiers

DOI: 10.1007/978-3-319-91271-4_21

Dblp: conf/asm/CunhaM18

Scopus: 2-s2.0-85047421943

Wos: WOS:001437739300021

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