%0 Journal Article %1 journals/fuin/KnapikP14 %A Knapik, Michal %A Penczek, Wojciech %D 2014 %J Fundam. Informaticae %K dblp %N 2-3 %P 211-226 %T Parameter Synthesis for Timed Kripke Structures. %U http://dblp.uni-trier.de/db/journals/fuin/fuin133.html#KnapikP14 %V 133

@article{journals/fuin/KnapikP14, added-at = {2021-04-09T00:00:00.000+0200}, author = {Knapik, Michal and Penczek, Wojciech}, biburl = {https://www.bibsonomy.org/bibtex/2d588e349cca2536e064a843584498576/dblp}, ee = {https://doi.org/10.3233/FI-2014-1072}, interhash = {3cdd9897969d18b78ec17eb81b2f982b}, intrahash = {d588e349cca2536e064a843584498576}, journal = {Fundam. Informaticae}, keywords = {dblp}, number = {2-3}, pages = {211-226}, timestamp = {2024-04-08T10:04:26.000+0200}, title = {Parameter Synthesis for Timed Kripke Structures.}, url = {http://dblp.uni-trier.de/db/journals/fuin/fuin133.html#KnapikP14}, volume = 133, year = 2014 }