%0 Thesis %1 phd/be/Raskin99 %A Raskin, Jean-Francois %D 1999 %K dblp %T Logics, Automata and Classical Theories for Deciding Real Time

@phdthesis{phd/be/Raskin99, added-at = {2023-09-27T00:00:00.000+0200}, author = {Raskin, Jean-Francois}, biburl = {https://www.bibsonomy.org/bibtex/2415e29d78d899f021e9a06ab1b4a9bf1/dblp}, ee = {https://researchportal.unamur.be/en/studentTheses/2d4c34da-d16f-4744-ad2d-e1fec9907dda}, interhash = {59b7b49dd911259e425a6b5647ae7b96}, intrahash = {415e29d78d899f021e9a06ab1b4a9bf1}, keywords = {dblp}, school = {University of Namur, Belgium}, timestamp = {2024-04-09T08:01:52.000+0200}, title = {Logics, Automata and Classical Theories for Deciding Real Time}, year = 1999 }