Hongyan Sun

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2004
c1		Flemming Nielson, Hanne Riis Nielson, Hongyan Sun, Mikael Buchholtz, René Rydhof Hansen, Henrik Pilegaard, Helmut Seidl: The Succinct Solver Suite. TACAS 2004: 251-265
	2002
j1		Tobias Amnell, Elena Fersman, Paul Pettersson, Hongyan Sun, Wang Yi: Code Synthesis for Timed Automata. Nord. J. Comput. 9(4): 269-300 (2002)

Coauthor Index

Last update Mon May 20 04:47:15 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page