| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| 3 |      | Maciej Gazda, Tim A. C. Willemse: Consistent Consequence for Boolean Equation Systems. SOFSEM 2012: 277-288 |
| 2010 | ||
| 2 | | Maciej Gazda, Wan Fokkink: Congruence from the Operator's Point of View: Compositionality Requirements on Process Semantics SOS 2010: 15-25 |
| 2009 | ||
| 1 | | Maciej Gazda, Wan Fokkink: Modal Logic and the Approximation Induction Principle EXPRESS 2009: 41-50 |
| 1 | Wan Fokkink | [1] [2] |
| 2 | Tim A. C. Willemse | [3] |
Colors in the list of coauthors
Last update Wed May 30 22:34:44 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page