SAT-based verification for timed component connectors (Q433331): Difference between revisions

@@ Property / describes a project that uses @@
+Reo
@@ Property / describes a project that uses: Reo / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Esterel
@@ Property / describes a project that uses: Esterel / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Chaff
@@ Property / describes a project that uses: Chaff / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FOCI
@@ Property / describes a project that uses: FOCI / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.scico.2011.02.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2137162774
@@ Property / OpenAlex ID: W2137162774 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4817528
@@ Property / cites work: Q4817528 / rank @@
+Normal rank
@@ Property / cites work @@
+Reo: a channel-based coordination model for component composition
+Normal rank
@@ Property / cites work @@
+Modeling component connectors in Reo by constraint automata
+Normal rank
@@ Property / cites work @@
+Q4422082
@@ Property / cites work: Q4422082 / rank @@
+Normal rank
@@ Property / cites work @@
+A brief history of process algebra
@@ Property / cites work: A brief history of process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra with timing
@@ Property / cites work: Process algebra with timing / rank @@
+Normal rank
@@ Property / cites work @@
+Q3956374
@@ Property / cites work: Q3956374 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded model checking using satisfiability solving
+Normal rank
@@ Property / cites work @@
+Q2754081
@@ Property / cites work: Q2754081 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4941495
@@ Property / cites work: Q4941495 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstractions from proofs
@@ Property / cites work: Abstractions from proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q2989003
@@ Property / cites work: Q2989003 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3765231
@@ Property / cites work: Q3765231 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Calculi for synchrony and asynchrony
@@ Property / cites work: Calculi for synchrony and asynchrony / rank @@
+Normal rank
@@ Property / cites work @@
+A timed model for communicating sequential processes
+Normal rank
@@ Property / cites work @@
+Q4036565
@@ Property / cites work: Q4036565 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:433331