Lijun Zhang (Technical University of Denmark

Identifiers

• name variant Lijun Zhang (Technical University of Denmark 0.60 · backfill

Papers (1)

1. Efficient CSL Model Checking Using Stratification cs.LO · 2011 · author #1

Mentions

• 1104.4983 #1 · backfill · confidence 0.70 Lijun Zhang (Technical University of Denmark

Frequent Coauthors

• Computer Science 1 shared papers
• David N. Jansen (Radboud Universiteit 1 shared papers
• Denmark) 1 shared papers
• DTU Informatics 1 shared papers
• Flemming Nielson (Technical University of Denmark 1 shared papers
• Holger Hermanns (Saarland University 1 shared papers
• Model-based system design 1 shared papers
• Nijmegen 1 shared papers
• Saarbr) 1 shared papers
• the Netherlands) 1 shared papers