M. Sighireanu

发表

Rewriting Systems over Nested Data Words Invariance checking for systems with dynamic control and data structures

A. Bouajjani, Y. Jurski, M. Sighireanu, 2009 .

Cadp'97 { Status, Applications and Perspectives

M. Sighireanu, Ch. Pecheur, 1997 .