Kukhwan Song

	1995
1		Atsushi Togashi, Nobuyuki Usui, Kukhwan Song, Norio Shiratori: A Derivation of System Specifications Based on a Partial Logical Petri Net. ISCAS 1995: 521-524

Coauthor Index

1	Norio Shiratori	[1]
2	Atsushi Togashi	[1]
3	Nobuyuki Usui	[1]