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/forte/MardareP06.xml
Radu Mardare Corrado Priami Decidable Extensions of Hennessy-Milner Logic. 196-211 2006 conf/forte/2006 FORTE https://doi.org/10.1007/11888116_16 db/conf/forte/forte2006.html#MardareP06