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/journals/sttt/KupfermanV03.rdf
Orna Kupferman and Moshe Y. Vardi: Vacuity detection in temporal model checking. (2003) journals/sttt/KupfermanV03 10.1007/S100090100062 Vacuity detection in temporal model checking. 2 Orna Kupferman 1 Moshe Y. Vardi 2 224-233 Int. J. Softw. Tools Technol. Transf. Int. J. Softw. Tools Technol. Transf. 4 2 2003 provenance information for RDF data of dblp record 'journals/sttt/KupfermanV03' 2020-04-02T08:37:33+0200