Header
Menü oben rechts
Anmelden
en
Research Collection
Navigation umschalten
Menü oben rechts
Anmelden
Hilfe
Hilfe
Sprache
English
Navigation umschalten
Suche
Trefferanzeige
Start
Journal Contributions
Journal Article
Trefferanzeige
Start
Journal Contributions
Journal Article
Trefferanzeige
JavaScript is disabled for your browser. Some features of this site may not work without it.
Research Collection
Navigational link
Suche
Algorithms for monitoring real-time properties
Mendeley
CSV
RIS
BibTeX
Metadata only
Autor(in)
Basin, David
Klaedtke, Felix
Zălinescu, Eugen
Datum
2018-06
Typ
Journal Article
Zitate
18 Zitate in
Scopus
ETH Bibliographie
yes
Altmetrics
Publikationsstatus
published
Externe Links
https://doi.org/10.1007/s00236-017-0295-4
Zeitschrift / Serie
Acta informatica
Band
55
(4)
Seiten / Artikelnummer
309
-
338
Verlag
Springer
Organisationseinheit
03634 - Basin, David / Basin, David
Mehr
Alle Metadaten anzeigen
Zitate
18 Zitate in
Scopus
ETH Bibliographie
yes
Altmetrics
Browsen
Organisationseinheiten
Publikationstypen
Autoren
Publizieren
Neue Publikation
Statistik
Downloads nach Land
Beliebteste Publikationen
Beliebteste Autoren