Muzammil Shahbaz, Roland Groz. Inferring Mealy Machines. In Formal Methods 2009, Pages 207-222, Eindhoven, Netherland, November 2009.
@InProceedings{ShahbazG09,
Author = {Shahbaz, Muzammil and Groz, Roland},
Title = {Inferring Mealy Machines},
BookTitle = {Formal Methods 2009},
Pages = {207--222},
Address = {Eindhoven, Netherland},
Month = {November},
Year = {2009}
}
Get EndNote Reference (.ref)