%0 Journal Article %1 journals/tse/FreyRCWA02 %A Frey, Peter %A Radhakrishnan, Radharamanan %A Carter, Harold W. %A Wilsey, Philip A. %A Alexander, Perry %D 2002 %J IEEE Trans. Software Eng. %K dblp %N 1 %P 58-78 %T A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation. %U http://dblp.uni-trier.de/db/journals/tse/tse28.html#FreyRCWA02 %V 28

@article{journals/tse/FreyRCWA02, added-at = {2015-12-10T00:00:00.000+0100}, author = {Frey, Peter and Radhakrishnan, Radharamanan and Carter, Harold W. and Wilsey, Philip A. and Alexander, Perry}, biburl = {https://www.bibsonomy.org/bibtex/27e4f7bc5a1f52c1692b2575233caecb1/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/32.979989}, interhash = {76206cfee7a28ab303207695de24d4fc}, intrahash = {7e4f7bc5a1f52c1692b2575233caecb1}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 1, pages = {58-78}, timestamp = {2015-12-12T11:48:37.000+0100}, title = {A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse28.html#FreyRCWA02}, volume = 28, year = 2002 }