Lingzhong Zhao
From MaRDI portal
Person:2392413
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Model checking CSP based on ASP and critical-trace model of CSP | 2016-08-10 | Paper |
| A family of dynamic description logics for representing and reasoning about actions Journal of Automated Reasoning | 2013-08-01 | Paper |
| Rough control for FMS based on first-order hybrid Petri nets | 2010-07-08 | Paper |
| Dynamic loading technique for software of wireless sensor network | 2009-11-10 | Paper |
| A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics Programming Languages and Systems | 2008-05-15 | Paper |
Research outcomes over time
This page was built for person: Lingzhong Zhao
