×

Found 3 Documents (Results 1–3)

PVS embedding of cCSP semantic models and their relationship. (English) Zbl 1335.68129

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
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software