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.org/rec/conf/amast/EspadaP06.xml
Miguel Valero Espada Jaco van de Pol Accelerated Modal Abstractions of Labelled Transition Systems. 338-352 2006 conf/amast/2006 AMAST https://doi.org/10.1007/11784180_26 db/conf/amast/amast2006.html#EspadaP06