Kairong Qian

From MaRDI portal
Person:2852023

Available identifiers

zbMath Open qian.kairongMaRDI QIDQ2852023

List of research outcomes





PublicationDate of PublicationType
Language-emptiness checking of alternating tree automata using symbolic reachability analysis2013-10-07Paper
AI 2003: Advances in Artificial Intelligence2009-08-07Paper
Tools and Algorithms for the Construction and Analysis of Systems2007-09-28Paper
Automated Technology for Verification and Analysis2006-10-25Paper
Formal Techniques for Networked and Distributed Systems - FORTE 20052006-07-07Paper

Research outcomes over time

This page was built for person: Kairong Qian

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2852023&oldid=7867516"
Powered by MediaWiki