Dang Van Hung

Available identifiers

zbMath Open dang-van-hung.MaRDI QIDQ168969

List of research outcomes

Publication	Date of Publication	Type
A duration calculus with infinite intervals	2022-12-09	Paper
A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus	2009-11-11	Paper
Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus	2008-09-25	Paper
Theoretical Aspects of Computing - ICTAC 2004	2005-11-30	Paper
Checking temporal duration properties of timed automata.	2004-07-01	Paper
Process net reconstruction from the sequence of Petri net transition triggerings	2001-04-02	Paper
Checking timed automata for linear duration properties	2000-11-20	Paper
Probabilistic duration calculus for continuous time	2000-01-02	Paper
https://portal.mardi4nfdi.de/entity/Q4284252	1994-07-19	Paper
Semi-commutations and Petri nets	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3792232	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3774977	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5186744	1984-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Dang Van Hung