%0 Journal Article %1 journals/amc/CicirelliFN12 %A Cicirelli, Franco %A Furfaro, Angelo %A Nigro, Libero %D 2012 %J Appl. Math. Comput. %K dblp %N 16 %P 8160-8186 %T Model checking time-dependent system specifications using Time Stream Petri Nets and Uppaal. %U http://dblp.uni-trier.de/db/journals/amc/amc218.html#CicirelliFN12 %V 218

@article{journals/amc/CicirelliFN12, added-at = {2020-02-21T00:00:00.000+0100}, author = {Cicirelli, Franco and Furfaro, Angelo and Nigro, Libero}, biburl = {https://www.bibsonomy.org/bibtex/2df0fc3f578b51f2c62dc7b6d173d11ad/dblp}, ee = {https://doi.org/10.1016/j.amc.2012.02.018}, interhash = {b19a2d7009c918bbb5d50cd41b94dbd7}, intrahash = {df0fc3f578b51f2c62dc7b6d173d11ad}, journal = {Appl. Math. Comput.}, keywords = {dblp}, number = 16, pages = {8160-8186}, timestamp = {2020-02-22T12:02:30.000+0100}, title = {Model checking time-dependent system specifications using Time Stream Petri Nets and Uppaal.}, url = {http://dblp.uni-trier.de/db/journals/amc/amc218.html#CicirelliFN12}, volume = 218, year = 2012 }