About

Log in?

DTU users get better search results with free access to licensed content and discounts on order fees.

Anyone can log in and get personalized features such as favorites, tags and feeds.

Log in as DTU user Log in as non-DTU user No thanks

DTU Findit

Representing RSL Specifications in Isabelle/HOL

(translated: Theorem Proving in Higher Order Logics 2003 - Emerging Trends Proceedings)

Publisher: Aracne Editrice S.R.L.
Year: 2003
Pages: 95-110

DTU users get better search results with free access to licensed content and discounts on order fees.

Log in as DTU user

Access