%0 Conference Paper %1 conf/time/LudwigH09 %A Ludwig, Michel %A Hustadt, Ullrich %B TIME %D 2009 %E Lutz, Carsten %E Raskin, Jean-François %I IEEE Computer Society %K %P 73-80 %T Resolution-Based Model Construction for PLTL. %U http://dblp.uni-trier.de/db/conf/time/time2009.html#LudwigH09 %@ 978-0-7695-3727-6

@inproceedings{conf/time/LudwigH09, added-at = {2023-12-12T21:06:57.000+0100}, author = {Ludwig, Michel and Hustadt, Ullrich}, biburl = {https://www.bibsonomy.org/bibtex/21daec8b86ef946272dfd455f9446f888/admin}, booktitle = {TIME}, crossref = {conf/time/2009}, editor = {Lutz, Carsten and Raskin, Jean-François}, ee = {http://doi.ieeecomputersociety.org/10.1109/TIME.2009.11}, interhash = {395858acc3243cfb0c9cf650cb5272cc}, intrahash = {1daec8b86ef946272dfd455f9446f888}, isbn = {978-0-7695-3727-6}, keywords = {}, pages = {73-80}, publisher = {IEEE Computer Society}, timestamp = {2023-12-12T21:06:57.000+0100}, title = {Resolution-Based Model Construction for PLTL.}, url = {http://dblp.uni-trier.de/db/conf/time/time2009.html#LudwigH09}, year = 2009 }