Per Bjesse (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Per Bjesse, Koen Claessen: SAT-Based Verification without State Space Traversal. FMCAD 2000: 372-389

1 Per Bjesse, Koen Claessen, Mary Sheeran, Satnam Singh: Lava: Hardware Design in Haskell. ICFP 1998: 174-184

Selection of 2 from 15 records - Per Bjesse has 17 coauthors

4		Per Bjesse, Koen Claessen: SAT-Based Verification without State Space Traversal. FMCAD 2000: 372-389
1		Per Bjesse, Koen Claessen, Mary Sheeran, Satnam Singh: Lava: Hardware Design in Haskell. ICFP 1998: 174-184