On model checking multiple hybrid views (Q947781): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2008.03.010
+Normal rank
@@ Property / OpenAlex ID @@
+W2029263782
@@ Property / OpenAlex ID: W2029263782 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4553257
@@ Property / cites work: Q4553257 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4818796
@@ Property / cites work: Q4818796 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536601
@@ Property / cites work: Q4536601 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3336675
@@ Property / cites work: Q3336675 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinations of abstract domains for logic programming: Open product and generic pattern construction
+Normal rank
@@ Property / cites work @@
+``A la Burstall'' intermittent assertions induction principles for proving inevitability properties of programs
+Normal rank
@@ Property / cites work @@
+Temporal abstract interpretation
@@ Property / cites work: Temporal abstract interpretation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4884237
@@ Property / cites work: Q4884237 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Q2848138
@@ Property / cites work: Q2848138 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4022223
@@ Property / cites work: Q4022223 / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking hybrid logics (with an application to semistructured data)
+Normal rank
@@ Property / cites work @@
+Model checking, testing and verification working together
+Normal rank
@@ Property / cites work @@
+Q4804892
@@ Property / cites work: Q4804892 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414390
@@ Property / cites work: Q4414390 / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Q2767161
@@ Property / cites work: Q2767161 / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy abstraction
@@ Property / cites work: Lazy abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+On model checking multiple hybrid views
@@ Property / cites work: On model checking multiple hybrid views / rank @@
+Normal rank
@@ Property / cites work @@
+Q2852361
@@ Property / cites work: Q2852361 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2849846
@@ Property / cites work: Q2849846 / rank @@
+Normal rank
@@ Property / cites work @@
+Labelled transition systems as a Stone space
@@ Property / cites work: Labelled transition systems as a Stone space / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement is complete for implementations
@@ Property / cites work: Refinement is complete for implementations / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763694
@@ Property / cites work: Q2763694 / rank @@
+Normal rank
@@ Property / cites work @@
+A domain equation for refinement of partial systems
+Normal rank
@@ Property / cites work @@
+Automatic verification methods for finite state systems. International workshop, Grenoble, France, June 12-14, 1989. Proceedings
+Normal rank
@@ Property / cites work @@
+Q3999206
@@ Property / cites work: Q3999206 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning and revision in hybrid representation systems
+Normal rank
@@ Property / cites work @@
+Q4539599
@@ Property / cites work: Q4539599 / rank @@
+Normal rank