共 50 条
- [5] An Historical Review and Upload of Juanelo Turriano's Mechanism in Toledo [J]. EXPLORATIONS IN THE HISTORY AND HERITAGE OF MACHINES AND MECHANISMS (HMM 2022), 2022, : 41 - 48
- [7] AN ARAGONESE AUTHOR FOR LOS 'VEINTIUN LIBROS DE LOS INGENIOS Y DE LAS MAQUINAS' - SPANISH - FRAGOGARCIA,JA, GARCIADIEGO,JA [J]. REVISTA DE DIALECTOLOGIA Y TRADICIONES POPULARES, 1990, 45 : 336 - 338
- [9] Avoiding Shared Clocks in Networks of Timed Automata Avoiding Shared Clocks in Networks of Timed Automata [J]. CONCUR 2012 - CONCURRENCY THEORY, 2012, 7454 : 100 - 114
- [10] Nested Timed Automata with Frozen Clocks [J]. FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS (FORMATS 2015), 2015, 9268 : 189 - 205