Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%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
}