Browsing by Author ANDRE ETIENNE JEAN RENE

Showing results 1 to 2 of 2
Issue DateTitleAuthor(s)
2011An efficient algorithm for learning event-recording automataLin, S.-W. ; André, É. ; Dong, J.S. ; Sun, J.; Liu, Y. 
2013Modeling and verifying hierarchical real-time systems using stateful timed CSPSun, J.; Liu, Y.; Dong, J.S. ; Shi, L.; André, E.