Zhisong Tang

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
Translating a continuous-time temporal logic into timed automata. Lecture Notes in Computer Science	2010-01-05	Paper
Theoretical Aspects of Computing – ICTAC 2005 Lecture Notes in Computer Science	2006-11-01	Paper
Compositional semantics and refinement of Statecharts	2006-10-10	Paper
scientific article; zbMATH DE number 5024617 (Why is no real title available?)	2006-05-19	Paper
scientific article; zbMATH DE number 1949604 (Why is no real title available?)	2003-07-15	Paper
scientific article; zbMATH DE number 1919415 (Why is no real title available?)	2003-05-27	Paper
scientific article; zbMATH DE number 1930746 (Why is no real title available?)	2003-01-01	Paper
The composability problem of the semantics of XYZ/BE-communicating processes Systems Science and Mathematical Sciences	2001-10-14	Paper
A unified linear-time temporal logic solution to the steam-boiler control specification problem Science in China. Series E	2001-07-15	Paper
scientific article; zbMATH DE number 3978369 (Why is no real title available?)	1985-01-01	Paper
scientific article; zbMATH DE number 3599509 (Why is no real title available?)	1978-01-01	Paper
scientific article; zbMATH DE number 3251417 (Why is no real title available?)	1965-01-01	Paper

Research outcomes over time

This page was built for person: Zhisong Tang