Representing RSL Specifications in Isabelle/HOL

Morten Peter Lindegaard; David Basin  et al.

Representing RSL Specifications in Isabelle/HOL

Morten Peter Lindegaard, David Basin et al. (Editor)

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Theorem Proving in Higher Order Logics 2003 - Emerging Trends Proceedings : Technical Report No. 187, Universität Freiburg
Publisher	Aracne Editrice S.R.L.
Publication date	2003
Pages	95-110
Publication status	Published - 2003

Access to Document

http://www.imm.dtu.dk/pubdb/p.php?3046

OpenUrl availability

Full text

Cite this

@inproceedings{1b9b3071c029484ca4d3fd8483c62a2f,

title = "Representing RSL Specifications in Isabelle/HOL",

author = "Lindegaard, {Morten Peter} and {Basin et al.}, David",

year = "2003",

language = "English",

pages = "95--110",

booktitle = "Theorem Proving in Higher Order Logics 2003 - Emerging Trends Proceedings",

publisher = "Aracne Editrice S.R.L.",

}

Representing RSL Specifications in Isabelle/HOL. / Lindegaard, Morten Peter; Basin et al., David (Editor).
Theorem Proving in Higher Order Logics 2003 - Emerging Trends Proceedings: Technical Report No. 187, Universität Freiburg. Aracne Editrice S.R.L., 2003. p. 95-110.

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review