Author of the publication

Symbolic Analysis Tools for CSP.

, , and . ICTAC, volume 8687 of Lecture Notes in Computer Science, page 295-313. Springer, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A verification framework suitable for proving large language translations. University of Illinois Urbana-Champaign, USA, (2020)Magnetic Characterization of Spacecraft Equipment in a Magnetic Shielded Room., , , , and . IEEE Trans. Instrum. Meas., (2024)Magnetostrictive energy harvester with adjustable-air gap for low frequency human walking., , and . IECON, page 2576-2581. IEEE, (2017)Motion Control of Macro-Micro Linear Platform Based on Adaptive Fuzzy Active Disturbance Rejection Control., , , , and . Symmetry, 16 (6): 707 (June 2024)A Formal Model of Checked C., , , , , and . CSF, page 49-63. IEEE, (2022)A Complete Semantics of $K$ and Its Translation to Isabelle., and . ICTAC, volume 12819 of Lecture Notes in Computer Science, page 152-171. Springer, (2021)IsaK-Static: A Complete Static Semantics of K., and . FACS, volume 11222 of Lecture Notes in Computer Science, page 196-215. Springer, (2018)Kinematics Analysis of an Electrical Landing Gear of Helicopters*., , , , , and . AIM, page 1268-1273. IEEE, (2019)Symbolic Analysis Tools for CSP., , and . ICTAC, volume 8687 of Lecture Notes in Computer Science, page 295-313. Springer, (2014)Design and Test of a High-Speed Double-Winding High Temperature Superconducting Synchronous Motor., , , and . IEEE Access, (2020)