×

Found 3 Documents (Results 1–3)

CSP-CASL-Prover: a generic tool for process and data refinement. (English) Zbl 1335.68235

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, 69-84 (2009).
MSC:  68T15 68N18 68Q65 68Q85
PDFBibTeX XMLCite
Full Text: DOI

High-level nets with nets and rules as tokens. (English) Zbl 1128.68063

Ciardo, Gianfranco (ed.) et al., Applications and theory of Petri nets 2005. 26th international conference, ICATPN 2005, Miami, Fl., USA, June 20–25, 2005. Proceedings. Berlin: Springer (ISBN 3-540-26301-2/pbk). Lecture Notes in Computer Science 3536, 268-288 (2005).
MSC:  68Q85 68Q42 68Q65
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software