An efficient simulation algorithm on Kripke structures (Q2453984): Difference between revisions
From MaRDI portal
EloiFerrer (talk | contribs) Changed label, description and/or aliases in en, and other parts |
EloiFerrer (talk | contribs) Merged Item from Q2849959 |
||||||||||||||
| 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) | |||||||||||||||
| Property / title: A More Efficient Simulation Algorithm on Kripke Structures (English) / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / zbMATH Open document ID | |||||||||||||||
| Property / zbMATH Open document ID: 1400.68143 / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / DOI | |||||||||||||||
| Property / DOI: 10.1007/978-3-642-40313-2_66 / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / published in | |||||||||||||||
| Property / published in: Mathematical Foundations of Computer Science 2013 / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / publication date | |||||||||||||||
20 September 2013
| |||||||||||||||
| Property / publication date: 20 September 2013 / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / Mathematics Subject Classification ID | |||||||||||||||
| Property / Mathematics Subject Classification ID: 68Q25 / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / zbMATH DE Number | |||||||||||||||
| Property / zbMATH DE Number: 6210018 / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / OpenAlex ID | |||||||||||||||
| Property / OpenAlex ID: W2570876181 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Revision as of 09:00, 6 May 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 |
|
Statements
An efficient simulation algorithm on Kripke structures (English)
0 references
A More Efficient Simulation Algorithm on Kripke Structures (English)
0 references
12 June 2014
0 references
20 September 2013
0 references
simulation preorder
0 references
Kripke structures
0 references
simulation algorithm
0 references
