Search results for: Mogens Nielsen
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2001 > Invited Papers > 23-31
Lecture Notes in Computer Science > FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 280-291
Lecture Notes in Computer Science > Application and Theory of Petri Nets 2002 > Regular Papers > 335-351
Lecture Notes in Computer Science > Formal Methods for Components and Objects > Trust and Security > 175-184
Lecture Notes in Computer Science > Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency > 523-548
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > 328-341
Lecture Notes in Computer Science > STACS 2000 > 358-369