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/journals/mam/FrancescoS02.xml
Nicoletta De Francesco Antonella Santone A tool supporting efficient model checking of concurrent specifications. 401-407 2002 25 Microprocess. Microsystems 9-10 https://doi.org/10.1016/S0141-9331(01)00131-4 db/journals/mam/mam25.html#FrancescoS02