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/fuin/BouchenebR08.rdf
Hanifa Boucheneb and Hind Rakkay: A More Efficient Time Petri Net State Space Abstraction Useful to Model Checking Timed Linear Properties. (2008) journals/fuin/BouchenebR08 A More Efficient Time Petri Net State Space Abstraction Useful to Model Checking Timed Linear Properties. 2 Hanifa Boucheneb 1 Hind Rakkay 2 469-495 Fundam. Informaticae Fundam. Informaticae 88 4 2008 provenance information for RDF data of dblp record 'journals/fuin/BouchenebR08' 2020-09-18T11:16:27+0200