default search action
BibTeX record conf/sofsem/JacobsenJMS11
@inproceedings{DBLP:conf/sofsem/JacobsenJMS11, author = {Lasse Jacobsen and Morten Jacobsen and Mikael H. M{\o}ller and Jir{\'{\i}} Srba}, editor = {Ivana Cern{\'{a}} and Tibor Gyim{\'{o}}thy and Juraj Hromkovic and Keith G. Jeffery and Rastislav Kr{\'{a}}lovic and Marko Vukolic and Stefan Wolf}, title = {Verification of Timed-Arc Petri Nets}, booktitle = {{SOFSEM} 2011: Theory and Practice of Computer Science - 37th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 22-28, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6543}, pages = {46--72}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-18381-2\_4}, doi = {10.1007/978-3-642-18381-2\_4}, timestamp = {Tue, 21 Mar 2023 21:02:43 +0100}, biburl = {https://dblp.org/rec/conf/sofsem/JacobsenJMS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.