%0 Conference Paper %1 conf/lics/BolligKM13 %A Bollig, Benedikt %A Kuske, Dietrich %A Mennicke, Roy %B LICS %D 2013 %I IEEE Computer Society %K %P 163-172 %T The Complexity of Model Checking Multi-stack Systems. %U http://dblp.uni-trier.de/db/conf/lics/lics2013.html#BolligKM13 %@ 978-1-4799-0413-6

@inproceedings{conf/lics/BolligKM13, added-at = {2023-12-13T10:29:02.000+0100}, author = {Bollig, Benedikt and Kuske, Dietrich and Mennicke, Roy}, biburl = {https://www.bibsonomy.org/bibtex/235aa584bb4d8e775452cd97276c1fb77/admin}, booktitle = {LICS}, crossref = {conf/lics/2013}, ee = {http://dl.acm.org/citation.cfm?id=2591441}, interhash = {d7e323f05a9f09ebb45afe147126aad2}, intrahash = {35aa584bb4d8e775452cd97276c1fb77}, isbn = {978-1-4799-0413-6}, keywords = {}, pages = {163-172}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T10:29:02.000+0100}, title = {The Complexity of Model Checking Multi-stack Systems.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2013.html#BolligKM13}, year = 2013 }