 | 2006 |
|---|
| 4 |       | Sara Van Langenhove,
Albert Hoogewijs:
SVtL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts.
WADT 2006: 142-155 |
| 2001 |
|---|
| 3 |  | Dirk Van Heule,
Albert Hoogewijs:
Automated Reasoning with Ordinary Assertions and Default Assumptions.
ISMVL 2001: 193- |
| 1999 |
|---|
| 2 | | Dirk Van Heule,
Albert Hoogewijs,
Noemie Slaats:
The Non-Definedness Notion in Expert Systems.
Inf. Sci. 114(1-4): 53-62 (1999) |
| 1987 |
|---|
| 1 | | Albert Hoogewijs:
Partial-Predicate Logic in Computer Science.
Acta Inf. 24(4): 381-393 (1987) |
