Nikola Trcka

Identifiers

• name variant Nikola Trcka 0.60 · backfill

Papers (2)

1. Computation Tree Logic with Deadlock Detection cs.LO · 2009 · author #3
2. Branching Bisimilarity with Explicit Divergence cs.LO · 2008 · author #3

Mentions

• 0912.2109 #3 · backfill · confidence 0.70 Nikola Trcka
• 0812.3068 #3 · backfill · confidence 0.70 Nikola Trcka

Frequent Coauthors

• Bas Luttik 2 shared papers
• Rob van Glabbeek 2 shared papers