Item:Q5891774: Difference between revisions

← Older edit

@@ redirect / redirect @@
+Q5891347
@@ label / en / label / en @@
-Avoiding Shared Clocks in Networks of Timed Automata
@@ description / en / description / en @@
-scientific article; zbMATH DE number 6086172
@@ Property / instance of @@
-scholarly article
@@ Property / instance of: scholarly article / rank @@
-Normal rank
@@ Property / title @@
-Avoiding Shared Clocks in Networks of Timed Automata (English)
-Normal rank
@@ Property / zbMATH Open document ID @@
-.68274
@@ Property / zbMATH Open document ID: 1364.68274 / rank @@
-Normal rank
@@ Property / DOI @@
-.1007/978-3-642-32940-1_9
@@ Property / DOI: 10.1007/978-3-642-32940-1_9 / rank @@
-Normal rank
@@ Property / author @@
-Sandie Balaguer
@@ Property / author: Sandie Balaguer / rank @@
-Normal rank
@@ Property / author @@
-Thomas Chatain
@@ Property / author: Thomas Chatain / rank @@
-Normal rank
@@ Property / published in @@
-Lecture Notes in Computer Science
@@ Property / published in: Lecture Notes in Computer Science / rank @@
-Normal rank
@@ Property / publication date @@
-September 2012Timestamp +2012-09-25T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2012-09-25T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 25 September 2012 / rank @@
-Normal rank
@@ Property / full work available at URL @@
-https://arxiv.org/abs/1310.5558
@@ Property / full work available at URL: https://arxiv.org/abs/1310.5558 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
-Normal rank
@@ Property / zbMATH DE Number @@
-6086172
@@ Property / zbMATH DE Number: 6086172 / rank @@
-Normal rank
@@ Property / zbMATH Keywords @@
-networks of timed automata
@@ Property / zbMATH Keywords: networks of timed automata / rank @@
-Normal rank
@@ Property / zbMATH Keywords @@
-shared clocks
@@ Property / zbMATH Keywords: shared clocks / rank @@
-Normal rank
@@ Property / zbMATH Keywords @@
-implementation on distributed architecture
@@ Property / zbMATH Keywords: implementation on distributed architecture / rank @@
-Normal rank
@@ Property / zbMATH Keywords @@
-contextual timed transition system
@@ Property / zbMATH Keywords: contextual timed transition system / rank @@
-Normal rank
@@ Property / zbMATH Keywords @@
-behavioral equivalence for distributed systems
-Normal rank
@@ Property / MaRDI profile type @@
-MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
-Normal rank
@@ Property / OpenAlex ID @@
-W1498415449
@@ Property / OpenAlex ID: W1498415449 / rank @@
-Normal rank
@@ links / mardi / name / links / mardi / name @@
-Publication:5891774

Latest revision as of 10:05, 6 May 2024

Redirect to:

Item:Q5891347