School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

Search this author

• VIAF
• KAKEN — Researchers
• J-GLOBAL
• researchmap
• Google Scholar
• Google
• Yahoo! JAPAN

Related Authors

• Bakker, Jacobus Willem de
• Roever, W.-P. de
• Rozenberg, Grzegorz