Henriksen, Jesper G.
-
BRICS Report Series No. 8 (1997): RS-08 Dynamic Linear Time Temporal Logic - Articles
Dynamic Linear Time Temporal Logic
Abstract PDF -
BRICS Report Series No. 9 (1997): RS-09 A Product Version of Dynamic Linear Time Temporal Logic - Articles
A Product Version of Dynamic Linear Time Temporal Logic
Abstract PDF -
BRICS Report Series No. 21 (1995): RS-21 MONA: Monadic Second-Order Logic in Practice - Articles
MONA: Monadic Second-Order Logic in Practice
Abstract PDF -
BRICS Report Series No. 26 (1999): RS-26 An Expressive Extension of TLC - Articles
An Expressive Extension of TLC
Abstract PDF -
BRICS Report Series No. 52 (1999): RS-52 Towards a Theory of Regular MSC Languages - Articles
Towards a Theory of Regular MSC Languages
Abstract PDF -
BRICS Report Series No. 8 (1998): RS-08 Distributed Versions of Linear Time Temporal Logic: A Trace Perspective - Articles
Distributed Versions of Linear Time Temporal Logic: A Trace Perspective
Abstract PDF