Get started
Author

Shi Gong Long

Institution: Guizhou University
Observed institution: Guizhou University
OpenAlex ID: A5069729925
A theoretic approach to translation of linear temporal logic into an automaton
2014 · Duo Zhang, Shi Gong Long · International Conference on Natural Computation (ICNC) · 2
Modelling Peterson Mutual Exclusion Algorithm in DVE Language and Verifying LTL Properties
2014 · Shi Gong Long, Han Wen Yang · Applied Mechanics and Materials · 2
Specifying Concurrent Program Based on TLA
2014 · Rui Chen, Shi Gong Long · Applied Mechanics and Materials
Works count: 3
Citation count: 4
H-index: 2
I10-index:
Year
Topic
Type