Steven Susanto

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2005

2 Kairong Qian, Albert Nymeyer, Steven Susanto: Abstraction-Guided Model Checking Using Symbolic IDA* and Heuristic Synthesis. FORTE 2005: 275-289

1 Kairong Qian, Albert Nymeyer, Steven Susanto: Experiments with Multiple Abstraction Heuristics in Symbolic Verification. SARA 2005: 290-304

	2005
2		Kairong Qian, Albert Nymeyer, Steven Susanto: Abstraction-Guided Model Checking Using Symbolic IDA* and Heuristic Synthesis. FORTE 2005: 275-289
1		Kairong Qian, Albert Nymeyer, Steven Susanto: Experiments with Multiple Abstraction Heuristics in Symbolic Verification. SARA 2005: 290-304

Coauthor Index

1 Albert Nymeyer [1] [2]

2 Kairong Qian [1] [2]