Instantiation for Parameterised Boolean Equation Systems (Q5505619): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-85762-4_30
+Normal rank
@@ Property / OpenAlex ID @@
+W2112525707
@@ Property / OpenAlex ID: W2112525707 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming languages and their definition. Selected papers ed. by C. B. Jones
+Normal rank
@@ Property / cites work @@
+Q4003036
@@ Property / cites work: Q4003036 / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems
+Normal rank
@@ Property / cites work @@
+Instantiation for Parameterised Boolean Equation Systems
+Normal rank
@@ Property / cites work @@
+Q4250361
@@ Property / cites work: Q4250361 / rank @@
+Normal rank
@@ Property / cites work @@
+Model-checking processes with data
@@ Property / cites work: Model-checking processes with data / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterised Boolean equation systems
@@ Property / cites work: Parameterised Boolean equation systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804916
@@ Property / cites work: Q4804916 / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5505619