| |
| 2004 | ||
|---|---|---|
| 3 | EE | Per Bjesse, Arne Borälv: DAG-aware circuit compression for formal verification. ICCAD 2004: 42-49 |
| 1998 | ||
| 2 | EE | Arne Borälv: Case Study: Formal Verification of a Computerized Railway Interlocking. Formal Asp. Comput. 10(4): 338-360 (1998) |
| 1997 | ||
| 1 | Arne Borälv: The Industrial Success of Verification Tools Based on Stålmarck's Method. CAV 1997: 7-10 | |
| 1 | Per Bjesse | [3] |