Representing RSL Specifications in Isabelle/HOL

Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2003

View graph of relations

Original languageEnglish
Title of host publicationTheorem Proving in Higher Order Logics 2003 - Emerging Trends Proceedings : Technical Report No. 187, Universität Freiburg
PublisherAracne Editrice S.R.L.
Publication date2003
Pages95-110
StatePublished
Download as:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word

ID: 2788577