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/rc/LuogoMP24.xml
Federico Dal Pio Luogo Claudio Antares Mezzina G. Michele Pinna Model Checking Reversible Systems: Forwardly. 218-237 2024 RC https://doi.org/10.1007/978-3-031-62076-8_14 conf/rc/2024 db/conf/rc/rc2024.html#LuogoMP24