%0 Journal Article %1 journals/tplp/BogaertsJBCVD14 %A Bogaerts, Bart %A Jansen, Joachim %A Bruynooghe, Maurice %A Cat, Broes De %A Vennekens, Joost %A Denecker, Marc %D 2014 %J Theory Pract. Log. Program. %K %N 4-5 %P 477-492 %T Simulating Dynamic Systems Using Linear Time Calculus Theories. %U http://dblp.uni-trier.de/db/journals/tplp/tplp14.html#BogaertsJBCVD14 %V 14

@article{journals/tplp/BogaertsJBCVD14, added-at = {2023-12-12T20:19:29.000+0100}, author = {Bogaerts, Bart and Jansen, Joachim and Bruynooghe, Maurice and Cat, Broes De and Vennekens, Joost and Denecker, Marc}, biburl = {https://www.bibsonomy.org/bibtex/232a82b0d65bb43d16963203063abb15f/admin}, ee = {https://doi.org/10.1017/S1471068414000155}, interhash = {2d9830240a46f7362b1e9b42d4e3e312}, intrahash = {32a82b0d65bb43d16963203063abb15f}, journal = {Theory Pract. Log. Program.}, keywords = {}, number = {4-5}, pages = {477-492}, timestamp = {2023-12-12T20:19:29.000+0100}, title = {Simulating Dynamic Systems Using Linear Time Calculus Theories.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp14.html#BogaertsJBCVD14}, volume = 14, year = 2014 }