pdfreaders.org

Isabelle/Circus: A Process Specification and Verification Environment

Abderrahmane Feliachi, Marie-Claude Gaudel und Burkhart Wolff

Cover for feliachi.ea:isabellecircus:2012.

Schlüsselwörter:
Kategorien:
Dokumente: (Artikel als PDF Datei)

QR Code for feliachi.ea:isabellecircus:2012.Bitte zitieren sie diesen Artikel wie folgt:
Abderrahmane Feliachi, Marie-Claude Gaudel und Burkhart Wolff. Isabelle/Circus: A Process Specification and Verification Environment. In VSTTE. Lecture Notes in Computer Science, 7152, pages 243-260, 2012.
(Artikel als PDF Datei) (BibTeX) (Endnote) (RIS) (Word) (doi:10.1007/978-3-642-27705-4_20) (Share article on LinkedIn. Share article on CiteULike.)

BibTeX
@InProceedings{ feliachi.ea:isabellecircus:2012,
author = {Abderrahmane Feliachi and Marie-Claude Gaudel and Burkhart Wolff},
booktitle = {VSTTE},
doi = {10.1007/978-3-642-27705-4_20},
pages = {243--260},
pdf = {http://www.lri.fr/~mcg/PDF/VSSTE2012.pdf},
series = {Lecture Notes in Computer Science},
title = {Isabelle/Circus: A Process Specification and Verification Environment},
url = {https://www.brucker.ch/bibliography/abstract/feliachi.ea-isabellecircus-2012},
volume = {7152},
year = {2012},
}