DMCA
Describing and executing random reactive systems (2006)
Cached
Download Links
- [www-verimag.imag.fr]
- [www-verimag.imag.fr]
- [www-verimag.imag.fr]
- [www-verimag.imag.fr]
- DBLP
Other Repositories/Bibliography
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 |