| No. | Title | Author | Year |
|---|---|---|---|
| 1 | Information Systems as Reactive Systems (Dagstuhl Seminar 98071) | Ehrich, Hand-Dieter et al. | 2021 |
| 2 | Specification and Semantics (Dagstuhl Seminar 9321) | Ehrig, Hartmut et al. | 2021 |
| 3 | Specification and Semantics (Dagstuhl Seminar 9628) | Ehrig, Hartmut et al. | 2021 |
| 4 | Specification of Distributed Information Systems (Dagstuhl Seminar 00081) | Ehrich, Hans-Dieter et al. | 2021 |
| 5 | Abstract Logical Model Checking of Infinite-State Systems Using Narrowing | Bae, Kyungmin et al. | 2013 |
| 6 | Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6 | Duran, Francisco et al. | 2011 |
| Current Page : | |
| Number of result pages: | 1 |
| Number of documents: | 6 |