An efficient simulation algorithm on Kripke structures (Q2453984): Difference between revisions

@@ aliases / en / 0 / aliases / en / 0 @@
+A More Efficient Simulation Algorithm on Kripke Structures
@@ description / en / description / en @@
+scientific article; zbMATH DE number 6210018
@@ Property / title @@
+A More Efficient Simulation Algorithm on Kripke Structures (English)
+Normal rank
@@ Property / zbMATH Open document ID @@
+.68143
@@ Property / zbMATH Open document ID: 1400.68143 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/978-3-642-40313-2_66
@@ Property / DOI: 10.1007/978-3-642-40313-2_66 / rank @@
+Normal rank
@@ Property / published in @@
+Mathematical Foundations of Computer Science 2013
+Normal rank
@@ Property / publication date @@
+September 2013Timestamp +2013-09-20T00:00:00Z
Timezone +00:00
Calendar ⧼valueview-expert-timevalue-calendar-gregorian⧽
Precision 1 day
Before 0
After 0
-Timestamp
++2013-09-20T00:00:00Z
-Timezone
++00:00
-Calendar
+⧼valueview-expert-timevalue-calendar-gregorian⧽
-Precision
+day
 Before
 After
@@ Property / publication date: 20 September 2013 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q25
@@ Property / Mathematics Subject Classification ID: 68Q25 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6210018
@@ Property / zbMATH DE Number: 6210018 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2570876181
@@ Property / OpenAlex ID: W2570876181 / rank @@
+Normal rank

Revision as of 09:00, 6 May 2024

scientific article; zbMATH DE number 6210018

Language	Label	Description	Also known as
English	An efficient simulation algorithm on Kripke structures	scientific article; zbMATH DE number 6210018	A More Efficient Simulation Algorithm on Kripke Structures