Behavioural and Abstractor Specifications Revisited

AuthID
P-00N-PHR
3
Author(s)
Hennicker, R
·
Wirsing, M
Tipo de Documento
Article
Year published
2018
Publicado
in THEORETICAL COMPUTER SCIENCE, ISSN: 0304-3975
Volume: 741, Páginas: 32-43 (12)
Conference
Conference on European Theory and Practice of Software (Etaps), Date: 2017, Location: Uppsala, SWEDEN
Indexing
Publication Identifiers
DBLP: journals/tcs/HennickerMW18
SCOPUS: 2-s2.0-85043386495
Wos: WOS:000441853300005
Source Identifiers
ISSN: 0304-3975
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.