default search action
BibTeX record conf/wsc/Barad98
@inproceedings{DBLP:conf/wsc/Barad98, author = {Miryam Barad}, editor = {Deborah J. Medeiros and Edward F. Watson and John S. Carson II and Mani S. Manivannan}, title = {Timed Petri Nets as a Verification Tool}, booktitle = {Proceedings of the 30th conference on Winter simulation, {WSC} 1998, Washington DC, USA, December 13-16, 1998}, pages = {547--554}, publisher = {{WSC}}, year = {1998}, url = {https://doi.org/10.1109/WSC.1998.745033}, doi = {10.1109/WSC.1998.745033}, timestamp = {Fri, 24 Mar 2023 00:04:14 +0100}, biburl = {https://dblp.org/rec/conf/wsc/Barad98.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.