%0 Journal Article %1 journals/fuin/KnapikPSP10 %A Knapik, Michal %A Penczek, Wojciech %A Szreter, Maciej %A Pólrola, Agata %D 2010 %J Fundam. Informaticae %K dblp %N 1-2 %P 9-27 %T Bounded Parametric Verification for Distributed Time Petri Nets with Discrete-Time Semantics. %U http://dblp.uni-trier.de/db/journals/fuin/fuin101.html#KnapikPSP10 %V 101

@article{journals/fuin/KnapikPSP10, added-at = {2021-04-09T00:00:00.000+0200}, author = {Knapik, Michal and Penczek, Wojciech and Szreter, Maciej and Pólrola, Agata}, biburl = {https://www.bibsonomy.org/bibtex/2c0ab57697a935fcffd82bc3047f07373/dblp}, ee = {https://doi.org/10.3233/FI-2010-272}, interhash = {2bbaeaf58bef34ce331dffe93c30bfef}, intrahash = {c0ab57697a935fcffd82bc3047f07373}, journal = {Fundam. Informaticae}, keywords = {dblp}, number = {1-2}, pages = {9-27}, timestamp = {2024-04-08T10:04:19.000+0200}, title = {Bounded Parametric Verification for Distributed Time Petri Nets with Discrete-Time Semantics.}, url = {http://dblp.uni-trier.de/db/journals/fuin/fuin101.html#KnapikPSP10}, volume = 101, year = 2010 }