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/iastedSE/FurfaroN05.rdf
Angelo Furfaro and Libero Nigro: Model Checking Time Petri Nets: A Translation Approach based on UPPAAL and a Case Study. (2005) conf/iastedSE/FurfaroN05 Model Checking Time Petri Nets: A Translation Approach based on UPPAAL and a Case Study. 2 Angelo Furfaro 1 Libero Nigro 2 388-393 IASTED Conf. on Software Engineering IASTED Conf. on Software Engineering 2005 2005 provenance information for RDF data of dblp record 'conf/iastedSE/FurfaroN05' 2005-10-27T12:09:56+0200