Search results
From MaRDI portal
- zbMath Open wang.liping.8MaRDI QIDQ437301 No records found. This page was built for person: Li-Ping Wang...10 bytes (18 words) - 03:53, 10 December 2023
- zbMath Open zhang.liping.1MaRDI QIDQ613846 No records found. This page was built for person: Li-Ping Zhang...10 bytes (18 words) - 02:55, 10 December 2023
- https://doi.org/10.1007/s001650050032 zbMATH Keywords UPPAAL; lip-synchronization protocol; real-time model checker Mathematics Subject Classification ID...15 bytes (61 words) - 04:02, 31 January 2024
- scheme 2018-12-19 Paper Generalized interface automata with multicast synchronization 2018-12-19 Paper Carleman estimate and null controllability of a fourth...10 bytes (15 words) - 17:16, 24 September 2023
- magneto-thermo-viscoelastic medium 2001-01-11 Paper Automatic verification of a lip-synchronisation protocol using UPPAAL 2000-12-18 Paper Fixed point for a generalized Lipschitzian...10 bytes (16 words) - 10:02, 24 September 2023