Home
Random
Nearby
Create account
Log in
Settings
Donate Now
If this site has been useful to you, please give today.
About Wikidata
Disclaimers
User menu
Create account
Log in
(Q127121727)
Watch
English
Runtime Verification over Out-of-order Streams
scholarly article
In more languages
default for all languages
No label defined
No description defined
edit
Statements
instance of
scholarly article
1 reference
stated in
April 2024 Public Data File from Crossref
title
Runtime Verification over Out-of-order Streams
(English)
1 reference
stated in
April 2024 Public Data File from Crossref
author name string
David Basin
series ordinal
1
1 reference
stated in
April 2024 Public Data File from Crossref
Felix Klaedtke
series ordinal
2
1 reference
stated in
April 2024 Public Data File from Crossref
Eugen Zălinescu
series ordinal
3
1 reference
stated in
April 2024 Public Data File from Crossref
publication date
4 October 2019
1 reference
stated in
April 2024 Public Data File from Crossref
language of work or name
English
1 reference
stated in
April 2024 Public Data File from Crossref
work available at URL
https://dl.acm.org/doi/10.1145/3355609
1 reference
stated in
April 2024 Public Data File from Crossref
published in
ACM Transactions on Computational Logic
1 reference
stated in
April 2024 Public Data File from Crossref
volume
21
1 reference
stated in
April 2024 Public Data File from Crossref
issue
1
1 reference
stated in
April 2024 Public Data File from Crossref
page(s)
1-43
1 reference
stated in
April 2024 Public Data File from Crossref
maintained by WikiProject
WikiProject Mathematics
0 references
Identifiers
DOI
10.1145/3355609
1 reference
stated in
April 2024 Public Data File from Crossref
arXiv ID
1909.11593
0 references
zbMATH Open document ID
1433.68208
0 references
Sitelinks
Wikipedia
(0 entries)
edit
Wikibooks
(0 entries)
edit
Wikinews
(0 entries)
edit
Wikiquote
(0 entries)
edit
Wikisource
(0 entries)
edit
Wikiversity
(0 entries)
edit
Wikivoyage
(0 entries)
edit
Wiktionary
(0 entries)
edit
Multilingual sites
(0 entries)
edit