Decentralised LTL monitoring (Q346789): Difference between revisions

← Older edit Newer edit →

@@ aliases / en / 0 / aliases / en / 0 @@
+Decentralised LTL Monitoring
@@ description / en / description / en @@
+scientific article; zbMATH DE number 6103219
@@ Property / title @@
+Decentralised LTL Monitoring (English)
@@ Property / title: Decentralised LTL Monitoring (English) / rank @@
+Normal rank
@@ Property / zbMATH Open document ID @@
+.68163
@@ Property / zbMATH Open document ID: 1372.68163 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/978-3-642-32759-9_10
@@ Property / DOI: 10.1007/978-3-642-32759-9_10 / rank @@
+Normal rank
@@ Property / published in @@
+FM 2012: Formal Methods
@@ Property / published in: FM 2012: Formal Methods / rank @@
+Normal rank
@@ Property / publication date @@
+November 2012Timestamp +2012-11-08T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2012-11-08T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 8 November 2012 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6103219
@@ Property / zbMATH DE Number: 6103219 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2207666193
@@ Property / OpenAlex ID: W2207666193 / rank @@
+Normal rank