DMCA

Describing and executing random reactive systems (2006)

by Pascal Raymond , Erwan Jahier , Yvan Roux
Venue:In SEFM 2006, 4th IEEE International Conference on Software Engineering and Formal Methods
Citations:10 - 8 self