×

zbMATH — the first resource for mathematics

Found 17 Documents (Results 1–17)

100
MathJax
Broersen, Jan (ed.) et al., Deontic logic and normative systems. 14th international conference, DEON 2018, Utrecht, Netherlands, July 3–6, 2018. Proceedings. London: College Publications. 33-49 (2018).
MSC:  03B45 03B15 03B35
PDF BibTeX XML Cite
Gelenbe, Erol (ed.) et al., Computer and information science. Proceedings of the 25th international symposium on computer and information sciences, London, UK, September 22–24, 2010. Dordrecht: Springer (ISBN 978-90-481-9793-4/hbk; 978-90-481-9794-1/ebook). Lecture Notes in Electrical Engineering 62, 315-320 (2010).
MSC:  68U10 68T05
PDF BibTeX XML Cite
Full Text: DOI
Machado, Patricia D. L. (ed.), Proceedings of the 11th Brazilian symposium on formal methods (SBMF 2008) Salvador, Brazil, August 26–29, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 240, 239-257 (2009).
MSC:  68N30 68Q60 68T15
PDF BibTeX XML Cite
Full Text: DOI
Miller, Alice (ed.) et al., Proceedings of the 8th international workshop on automated verification of critical systems (AVoCS 2008), Glasgow, UK, September 30 – October 1, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 250, No. 2, 103-118 (2009).
MSC:  68Q55 68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI