Skip to Content

NATO ASI 1984

NATO Advanced Study Institute on Logics and Models of Concurrent Systems
La Colle-sur-Loup, France, 08/10/1984–19/10/1984
works as
origin event for publication
page_white_acrobat On the Development of Reactive Systems (paper in proceedings, 1985) — David Harel, Amir Pnueli

Events
search • all
NATO Advanced Study Institute on Logics and Models of Concurrent Systems
— acronym
NATO ASI 1984
— sort
school
— year
1984
where & when
— where
La Colle-sur-Loup, France
— when
08/10/1984–19/10/1984
URL
DBLP