Morten Peter Lindegaard

  1. 2004
  2. Published
  3. Published

    Proof Support for RAISE - by a Reuse Approach based on Institutions. / Lindegaard, Morten Peter; Haxthausen, Anne Elisabeth.

    Proceedings of AMAST'04. Springer-Verlag, 2004. p. 319-333.

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

  4. 2003
  5. Published

    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.

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

  6. 2002
  7. Published

    Specify in RSL and Prove in Isabelle. / Lindegaard, Morten Peter.

    2002. Poster session presented at Computer Science and Engineering PhD Day May 2002, .

    Publication: ResearchPoster – Annual report year: 2002

  8. 2001
  9. Published

    Proof Support for RAISE. / Lindegaard, Morten Peter; Hansen, Michael Reichhardt (Editor).

    2001. Poster session presented at NWPT'01, The 13th Nordic Workshop on Programming Theory, .

    Publication: ResearchPoster – Annual report year: 2001

  10. 2000
  11. Published

    Modelling Railway Interlocking Systems. / Lindegaard, Morten Peter; Viuf, P.; Haxthausen, Anne Elisabeth.

    9th IFAC Symposium on Control in Transportation Systems 2000. Technical University Braunschweig, 2000. p. 211-217.

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

Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word