dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Lijun Zhang (Selection)

Technical University of Denmark

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:


Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid N. Jansen, Flemming Nielson, Lijun Zhang: Belief Bisimulation for Hidden Markov Models - Logical Characterisation and Decision Algorithm. NASA Formal Methods 2012: 326-340
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLijun Zhang, David N. Jansen, Flemming Nielson, Holger Hermanns: Automata-Based CSL Model Checking. ICALP (2) 2011: 271-282
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLijun Zhang, David N. Jansen, Flemming Nielson, Holger Hermanns: Automata-Based CSL Model Checking Logical Methods in Computer Science 8(2): (2011)

Selection of 3 from 50 records - Lijun Zhang has 102 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page