Arne Borälv

	2004
3		Per Bjesse, Arne Borälv: DAG-aware circuit compression for formal verification. ICCAD 2004: 42-49
	1998
2		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

Coauthor Index

1

Per Bjesse

[3]