| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 2 |      | Emanuel Kolb, Ondrej Sery, Roland Weiss: Applicability of the BLAST Model Checker: An Industrial Case Study. Ershov Memorial Conference 2009: 218-229 |
| 1996 | ||
| 1 | | Emanuel Kolb: Hjelmslev planes over nearrings. Discrete Mathematics 155(1-3): 147-155 (1996) |
| 1 | Ondrej Sery | [2] |
| 2 | Roland J. Weiss (Roland Weiss) | [2] |
Data released under the ODC-BY 1.0 license — See also our legal information page