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/icse/DongLLW04.rdf
Jin Song Dong et al.: Verifying DAML+OIL and Beyond in Z/EVES. (2004) conf/icse/DongLLW04 10.1109/ICSE.2004.1317442 Verifying DAML+OIL and Beyond in Z/EVES. 4 Jin Song Dong 1 Chew Hung Lee 2 Yuan-Fang Li 3 Hai H. Wang 4 201-210 ICSE ICSE 2004 2004 provenance information for RDF data of dblp record 'conf/icse/DongLLW04' 2023-03-23T23:58:06+0100