Skip to main content
User menu
Cart
Login
DIAL.pr - BOREAL
Search form
Search
Home
All Publications
Export
Help
Current search
Beneš, Nikola
1997
2012
1990
2013
Watthee-Delmotte, Myriam
Pleyers, Geoffrey
Legay, Axel
Boyer, Benoît
You are here
Home
»
Search
»
Search results
»
*:*
»
Beneš, Nikola
»
^1997
»
^2012
»
^1990
»
2013
»
^Watthee-Delmotte, Myriam
»
^Pleyers, Geoffrey
»
Legay, Axel
»
^Boyer, Benoît
»
Search
Accès à distance ? S'identifier sur le proxy
UCLouvain
Search
Sort by
Relevancy
Publication date desc
Publication date asc
Creation date
Fulltext
Displaying
1
result.
Speech
Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory
Beneš, Nikola
Delahaye, Benoît
Fahrenberg, Uli
Křetínský, Jan
Legay, Axel
[UCL]
(2013)
CONCUR 2013 - 24th International Conference Concurrency Theory —