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

← Older edit

@@ aliases / en / 0 / aliases / en / 0 @@
+A More Efficient Simulation Algorithm on Kripke Structures
@@ description / en / description / en @@
-scientific article
+scientific article; zbMATH DE number 6210018
@@ Property / DOI @@
-.1007/s00236-014-0195-9
@@ Property / DOI: 10.1007/s00236-014-0195-9 / rank @@
-Normal rank
@@ 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 / DOI @@
+.1007/S00236-014-0195-9
@@ Property / DOI: 10.1007/S00236-014-0195-9 / 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 Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2013-09-20T00:00:00Z
-Timezone
++00:00
-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
@@ Property / arXiv ID @@
+.1089
@@ Property / arXiv ID: 1212.1089 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing Simulations over Tree Automata
@@ Property / cites work: Computing Simulations over Tree Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Saving Space in a Time Efficient Simulation Algorithm
+Normal rank
@@ Property / cites work @@
+Transformational design and implementation of a new efficient solution to the ready simulation problem
+Normal rank
@@ Property / cites work @@
+Simulation-based minimization
@@ Property / cites work: Simulation-based minimization / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760243
@@ Property / cites work: Q2760243 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2747613
@@ Property / cites work: Q2747613 / rank @@
+Normal rank
@@ Property / cites work @@
+Incremental graph pattern matching
@@ Property / cites work: Incremental graph pattern matching / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation minimization and symbolic model checking
+Normal rank
@@ Property / cites work @@
+Q4472257
@@ Property / cites work: Q4472257 / rank @@
+Normal rank
@@ Property / cites work @@
+From bisimulation to simulation: Coarsest partition problems
+Normal rank
@@ Property / cites work @@
+Rank and simulation: the well-founded case
@@ Property / cites work: Rank and simulation: the well-founded case / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038723
@@ Property / cites work: Q4038723 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4252730
@@ Property / cites work: Q4252730 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2970249
@@ Property / cites work: Q2970249 / rank @@
+Normal rank
@@ Property / cites work @@
+An efficient simulation algorithm on Kripke structures
+Normal rank
@@ Property / cites work @@
+An efficient simulation algorithm based on abstract interpretation
+Normal rank
@@ Property / cites work @@
+Q2771063
@@ Property / cites work: Q2771063 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760238
@@ Property / cites work: Q2760238 / rank @@
+Normal rank
@@ Property / cites work @@
+Correcting a Space-Efficient Simulation Algorithm
@@ Property / cites work: Correcting a Space-Efficient Simulation Algorithm / rank @@
+Normal rank

Latest revision as of 09:51, 31 December 2024

scientific article; zbMATH DE number 6210018

A More Efficient Simulation Algorithm on Kripke Structures

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