Sachoun Park

	2008
6		Sachoun Park, Gihwon Kwon: Using Boolean Cardinality Constraint for LTS Bounded Model Checking. SEKE 2008: 537-542
5		Sachoun Park, Gihwon Kwon: Japanese Puzzle as a SAT Problem. SEKE 2008: 543-548
	2007
4		Sachoun Park, Gihwon Kwon: SAT based Verification Tool for Labeled Transition System. SERA 2007: 221-226
	2006
3		Sachoun Park, Gihwon Kwon: Avoidance of State Explosion Using Dependency Analysis in Model Checking Control Flow Model. ICCSA (5) 2006: 905-911
	2005
2		Sachoun Park, Gihwon Kwon: Verification of UML-Based Security Policy Model. ICCSA (3) 2005: 973-982
1		Sachoun Park, Gihwon Kwon, Soonhoi Ha: Formalization of fFSM Model and Its Verification. ICESS 2005: 361-372

Coauthor Index

1	Soonhoi Ha	[1]
2	Gihwon Kwon	[1] [2] [3] [4] [5] [6]