State Space c-Reductions of Concurrent Systems in Rewriting Logic @ ETAPS Workshop WRLA 2013
Highlighting Best Practices from the Energy Sub-category stars.aashe.org STARS Webinar June 2012.
Highlighting Best Practices from the Energy Sub-category