Arne Borälv Vis

*	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	EE	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]