%0 Journal Article %1 journals/tse/CarnevaliRV11 %A Carnevali, Laura %A Ridi, Lorenzo %A Vicario, Enrico %D 2011 %J IEEE Trans. Software Eng. %K dblp %N 6 %P 826-844 %T Putting Preemptive Time Petri Nets to Work in a V-Model SW Life Cycle. %U http://dblp.uni-trier.de/db/journals/tse/tse37.html#CarnevaliRV11 %V 37

@article{journals/tse/CarnevaliRV11, added-at = {2015-12-10T00:00:00.000+0100}, author = {Carnevali, Laura and Ridi, Lorenzo and Vicario, Enrico}, biburl = {https://www.bibsonomy.org/bibtex/2f1fc5812e82ff331871cfa9710a73f83/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.2011.4}, interhash = {0f3165c8becdf5f270e8a7a8ac875834}, intrahash = {f1fc5812e82ff331871cfa9710a73f83}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 6, pages = {826-844}, timestamp = {2015-12-12T11:44:41.000+0100}, title = {Putting Preemptive Time Petri Nets to Work in a V-Model SW Life Cycle.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse37.html#CarnevaliRV11}, volume = 37, year = 2011 }