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
ISBN (Print)	88-7999-546-4
Publication status	Published - 2003

OpenUrl availability

Check availability in DTU Findit

Cite this

@inproceedings{1b9b3071c029484ca4d3fd8483c62a2f,

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

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

year = "2003",

language = "English",

isbn = "88-7999-546-4",

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