researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Journal: Logics and models of concurrent systems
Journals associated with the name Logics and models of concurrent systems:
Articles referring to this journal name
On the Development of Reactive Systems
David Harel
,
Amir Pnueli
.
Logics and models of concurrent systems
, ,
1985.