Conference paper
Representing RSL Specifications in Isabelle/HOL
Language: | English |
---|---|
Publisher: | Aracne Editrice S.R.L. |
Year: | 2003 |
Pages: | 95-110 |
Journal subtitle: | Technical Report No. 187, Universität Freiburg |
Types: | Conference paper |
DTU users get better search results including licensed content and discounts on order fees.
Anyone can log in and get personalized features such as favorites, tags and feeds.
Conference paper
Language: | English |
---|---|
Publisher: | Aracne Editrice S.R.L. |
Year: | 2003 |
Pages: | 95-110 |
Journal subtitle: | Technical Report No. 187, Universität Freiburg |
Types: | Conference paper |
Analysis