mtmt
The Hungarian Scientific Bibliography
XML
JSON
Public search
Magyarul
Selic, B. [ed.]
;
Pires, L.F. [ed.]
;
Hammoudi, S. [ed.]
English Conference proceedings (Book) Scientific
Published: Springer Netherlands
2018
Series:
Communications in Computer and Information Science 1865-0929 1865-0937, 880
Identifiers
MTMT: 32834320
ISBN:
9783319947631
Chapters
Estivill-Castro V. et al. Deterministic high-level executable models allowing efficient runtime verification. (2018) In: No title pp. 119-144
Citation styles:
IEEE
ACM
APA
Chicago
Harvard
CSL
Copy
Print
2025-04-25 07:28
×
Export list as bibliography
Citation styles:
IEEE
ACM
APA
Chicago
Harvard
Print
Copy
