Alongkrit Chutinan

	2001
3		Ken Butts, Dave Bostic, Alongkrit Chutinan, Jeffrey Cook, Bill Milam, Yanxin Wang: Usage Scenarios for an Automated Model Compiler. EMSOFT 2001: 66-79
	1999
2		Alongkrit Chutinan, Bruce H. Krogh: Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations. HSCC 1999: 76-90
	1997
1		Alongkrit Chutinan, Bruce H. Krogh: Computing Approximating Automata for a Class of Linear Hybrid Systems. Hybrid Systems 1997: 16-37

Coauthor Index

1	Dave Bostic	[3]
2	Ken Butts	[3]
3	Jeffrey Cook	[3]
4	Bruce H. Krogh	[1] [2]
5	Bill Milam	[3]
6	Yanxin Wang	[3]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page