%0 Journal Article %1 journals/topnoc/NiewiadomskiP15 %A Niewiadomski, Artur %A Penczek, Wojciech %B Trans. Petri Nets and Other Models of Concurrency %D 2015 %E Koutny, Maciej %E Desel, Jörg %E Haddad, Serge %I Springer %J Trans. Petri Nets and Other Models of Concurrency %K dblp %P 55-83 %T SMT-Based Abstract Parametric Temporal Planning. %U http://dblp.uni-trier.de/db/journals/topnoc/topnoc10.html#NiewiadomskiP15 %V 10 %@ 978-3-662-48649-8

@article{journals/topnoc/NiewiadomskiP15, added-at = {2019-06-02T00:00:00.000+0200}, author = {Niewiadomski, Artur and Penczek, Wojciech}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2590fb8418394661d962ed8188a477092/dblp}, booktitle = {Trans. Petri Nets and Other Models of Concurrency}, crossref = {journals/topnoc/2015-10}, editor = {Koutny, Maciej and Desel, Jörg and Haddad, Serge}, ee = {https://www.wikidata.org/entity/Q62045386}, interhash = {502eb6c100a6c47daa514b5e5e0690ef}, intrahash = {590fb8418394661d962ed8188a477092}, isbn = {978-3-662-48649-8}, journal = {Trans. Petri Nets and Other Models of Concurrency}, keywords = {dblp}, pages = {55-83}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T12:29:00.000+0200}, title = {SMT-Based Abstract Parametric Temporal Planning.}, url = {http://dblp.uni-trier.de/db/journals/topnoc/topnoc10.html#NiewiadomskiP15}, volume = 10, year = 2015 }