A Logic for the Stepwise Development of Reactive Systems

AuthID
P-00N-PHS
4
Author(s)
Hennicker, R
·
Tipo de Documento
Article
Year published
2018
Publicado
in THEORETICAL COMPUTER SCIENCE, ISSN: 0304-3975
Volume: 744, Páginas: 78-96 (19)
Indexing
Publication Identifiers
DBLP: journals/tcs/MadeiraBHM18
SCOPUS: 2-s2.0-85043397783
Wos: WOS:000447080800006
Source Identifiers
ISSN: 0304-3975
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.