| Language | English |
|---|---|
| Title of host publication | Unknown Host Publication |
| Publication status | Published - 1994 |
| Event | DARTS'95: Workshop on Design and Analysis of Real-Time Systems - Universite Libre de Bruxelles, Belgium Duration: 1 Jan 1994 → … |
Workshop
| Workshop | DARTS'95: Workshop on Design and Analysis of Real-Time Systems |
|---|---|
| Period | 1/01/94 → … |
Keywords
- n/a
Cite this
Shi, L., & Nixon, P. (1994). The efficient translation of SA/RT Specification Model to High-Level Timed Petri Nets. In Unknown Host Publication
@inproceedings{4c4bb278160b401fbd3516f5c2764626,
title = "The efficient translation of SA/RT Specification Model to High-Level Timed Petri Nets",
keywords = "n/a",
author = "L Shi and Patrick Nixon",
note = "]",
year = "1994",
language = "English",
booktitle = "Unknown Host Publication",
}
Shi, L & Nixon, P 1994, The efficient translation of SA/RT Specification Model to High-Level Timed Petri Nets. in Unknown Host Publication. DARTS'95: Workshop on Design and Analysis of Real-Time Systems, 1/01/94.
The efficient translation of SA/RT Specification Model to High-Level Timed Petri Nets. / Shi, L; Nixon, Patrick.
Unknown Host Publication. 1994.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
TY - GEN
T1 - The efficient translation of SA/RT Specification Model to High-Level Timed Petri Nets
AU - Shi, L
AU - Nixon, Patrick
N1 - ]
PY - 1994
Y1 - 1994
KW - n/a
M3 - Conference contribution
BT - Unknown Host Publication
ER -
Shi L, Nixon P. The efficient translation of SA/RT Specification Model to High-Level Timed Petri Nets. In Unknown Host Publication. 1994