iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.uni-trier.de/rec/conf/birthday/HennickerKW15.xml
Rolf Hennicker Annabelle Klarl Martin Wirsing Model-Checking Helena Ensembles with Spin. 331-360 2015 Logic, Rewriting, and Concurrency https://doi.org/10.1007/978-3-319-23165-5_16 conf/birthday/2015meseguer db/conf/birthday/meseguer2015.html#HennickerKW15