×

zbMATH — the first resource for mathematics

Found 59 Documents (Results 1–59)

100
MathJax
Chen, Yu-Fang (ed.) et al., Automated technology for verification and analysis. 17th international symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11781, 515-533 (2019).
MSC:  68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Chen, Yu-Fang (ed.) et al., Automated technology for verification and analysis. 17th international symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11781, 369-386 (2019).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 18, 16 p. (2017).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Esparza, Javier (ed.) et al., Foundations of software science and computation structures. 20th international conference, FOSSACS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10203, 407-423 (2017).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Bouajjani, Ahmed (ed.) et al., Verification, model checking, and abstract interpretation. 18th international conference, VMCAI 2017, Paris, France, January 15–17, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10145, 151-168 (2017).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
Ciardo, Gianfranco (ed.) et al., Application and theory of Petri nets and concurrency. 35th international conference, PETRI NETS 2014, Tunis, Tunisia, June 23–27, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-07733-8/pbk). Lecture Notes in Computer Science 8489, 190-209 (2014).
MSC:  68Q85 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Fahrenberg, Uli (ed.) et al., Formal modeling and analysis of timed systems. 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21–23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24309-7/pbk). Lecture Notes in Computer Science 6919, 1-17 (2011).
MSC:  68M20
PDF BibTeX XML Cite
Full Text: DOI
Katoen, Joost-Pieter (ed.) et al., CONCUR 2011 – concurrency theory. 22nd international conference, CONCUR 2011, Aachen, Germany, September 6–9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23216-9/pbk). Lecture Notes in Computer Science 6901, 342-357 (2011).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Holzer, Markus (ed.) et al., Descriptional complexity of formal systems. 13th international workshop, DCFS 2011, Gießen/Limburg, Germany, July 25–27, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22599-4/pbk). Lecture Notes in Computer Science 6808, 34-42 (2011).
MSC:  68Q85 03B05 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Kristensen, Lars M. (ed.) et al., Applications and theory of Petri nets. 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20–24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21833-0/pbk). Lecture Notes in Computer Science 6709, 89-108 (2011).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Kristensen, Lars M. (ed.) et al., Applications and theory of Petri nets. 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20–24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21833-0/pbk). Lecture Notes in Computer Science 6709, 1-16 (2011).
MSC:  68Q85 68-03
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 13th ACM international conference on hybrid systems: computation and control, HSCC 2010, Stockholm, Sweden, April 12–16, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-955-8). 293-295 (2010).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 13th ACM international conference on hybrid systems: computation and control, HSCC 2010, Stockholm, Sweden, April 12–16, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-955-8). 283-292 (2010).
MSC:  93D20 93C30
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 13th ACM international conference on hybrid systems: computation and control, HSCC 2010, Stockholm, Sweden, April 12–16, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-955-8). 273-282 (2010).
MSC:  93D20 93C30
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 13th ACM international conference on hybrid systems: computation and control, HSCC 2010, Stockholm, Sweden, April 12–16, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-955-8). 263-272 (2010).
MSC:  92C40 68Q45 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 13th ACM international conference on hybrid systems: computation and control, HSCC 2010, Stockholm, Sweden, April 12–16, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-955-8). 253-262 (2010).
PDF BibTeX XML Cite
Full Text: DOI arXiv
Proceedings of the 13th ACM international conference on hybrid systems: computation and control, HSCC 2010, Stockholm, Sweden, April 12–16, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-955-8). 243-252 (2010).
MSC:  68Q60 62C10 68Q87
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 13th ACM international conference on hybrid systems: computation and control, HSCC 2010, Stockholm, Sweden, April 12–16, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-955-8). 231-241 (2010).
MSC:  68Q60 68M10 90B10
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 13th ACM international conference on hybrid systems: computation and control, HSCC 2010, Stockholm, Sweden, April 12–16, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-955-8). 221-230 (2010).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 13th ACM international conference on hybrid systems: computation and control, HSCC 2010, Stockholm, Sweden, April 12–16, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-955-8). 211-220 (2010).
MSC:  68Q60 65C05
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 13th ACM international conference on hybrid systems: computation and control, HSCC 2010, Stockholm, Sweden, April 12–16, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-955-8). 201-210 (2010).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 13th ACM international conference on hybrid systems: computation and control, HSCC 2010, Stockholm, Sweden, April 12–16, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-955-8). 191-200 (2010).
MSC:  94A12
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 13th ACM international conference on hybrid systems: computation and control, HSCC 2010, Stockholm, Sweden, April 12–16, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-955-8). 181-190 (2010).
MSC:  93D09 93B40
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 13th ACM international conference on hybrid systems: computation and control, HSCC 2010, Stockholm, Sweden, April 12–16, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-955-8). 161-170 (2010).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 13th ACM international conference on hybrid systems: computation and control, HSCC 2010, Stockholm, Sweden, April 12–16, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-955-8). 151-160 (2010).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 13th ACM international conference on hybrid systems: computation and control, HSCC 2010, Stockholm, Sweden, April 12–16, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-955-8). 141-150 (2010).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 13th ACM international conference on hybrid systems: computation and control, HSCC 2010, Stockholm, Sweden, April 12–16, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-955-8). 131-140 (2010).
MSC:  93D15 93C30 93D20
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 13th ACM international conference on hybrid systems: computation and control, HSCC 2010, Stockholm, Sweden, April 12–16, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-955-8). 121-130 (2010).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 13th ACM international conference on hybrid systems: computation and control, HSCC 2010, Stockholm, Sweden, April 12–16, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-955-8). 111-120 (2010).
MSC:  68Q60 68Q85 93B52
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 13th ACM international conference on hybrid systems: computation and control, HSCC 2010, Stockholm, Sweden, April 12–16, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-955-8). 101-110 (2010).
MSC:  68Q60 93C65
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 13th ACM international conference on hybrid systems: computation and control, HSCC 2010, Stockholm, Sweden, April 12–16, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-955-8). 91-100 (2010).
MSC:  68Q60 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 13th ACM international conference on hybrid systems: computation and control, HSCC 2010, Stockholm, Sweden, April 12–16, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-955-8). 81-90 (2010).
MSC:  93C83 93C55
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 13th ACM international conference on hybrid systems: computation and control, HSCC 2010, Stockholm, Sweden, April 12–16, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-955-8). 71-80 (2010).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 13th ACM international conference on hybrid systems: computation and control, HSCC 2010, Stockholm, Sweden, April 12–16, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-955-8). 61-70 (2010).
MSC:  68Q60 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 13th ACM international conference on hybrid systems: computation and control, HSCC 2010, Stockholm, Sweden, April 12–16, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-955-8). 51-60 (2010).
MSC:  49M37 90C30
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 13th ACM international conference on hybrid systems: computation and control, HSCC 2010, Stockholm, Sweden, April 12–16, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-955-8). 41-50 (2010).
MSC:  68N30 68N15 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 13th ACM international conference on hybrid systems: computation and control, HSCC 2010, Stockholm, Sweden, April 12–16, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-955-8). 31-40 (2010).
MSC:  93C65 93B40
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 13th ACM international conference on hybrid systems: computation and control, HSCC 2010, Stockholm, Sweden, April 12–16, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-955-8). 21-30 (2010).
MSC:  93C05 68Q60 93A14
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 13th ACM international conference on hybrid systems: computation and control, HSCC 2010, Stockholm, Sweden, April 12–16, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-955-8). 11-19 (2010).
MSC:  93B03 65D15 93B40
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 13th ACM international conference on hybrid systems: computation and control, HSCC 2010, Stockholm, Sweden, April 12–16, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-955-8). 1-10 (2010).
PDF BibTeX XML Cite
Full Text: DOI
Franceschinis, Giuliana (ed.) et al., Applications and theory of Petri nets. 30th international conference, PETRI NETS 2009, Paris, France, June 22–26, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02423-8/pbk). Lecture Notes in Computer Science 5606, 223-242 (2009).
MSC:  68Q85 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Year of Publication
all top 3
Classification
Biographic Reference
all top 3
Software