@inproceedings{LADSL11,
  	address =	{Taipei, Taiwan},
  	author =	{Lin, Shang-Wei and Andr{\'e}, {\'E}tienne and Dong, Jin-Song and Sun, Jun and Liu, Yang},
  	booktitle =	{Proceedings of the Ninth International Symposium on Automated Technology for Verification and Analysis ({ATVA}'11)},
  	editor =	{Bultan, Tevfik and Hsiung, Pao-Ann},
  	month =	oct,
	pages =	 {463-472},
   	publisher =	{Springer},
  	series =	{Lecture Notes in Computer Science},
  	title =	{An Efficient Algorithm for Learning Event-Recording Automata},
  	volume =	 {6996},
  	year =	{2011},
}