Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints
Conference Paper
Identity
Digital Object Identifier (DOI)
Additional Document Info
has global citation frequency
- https://vivo.tib.eu/demo/individual/gcf_W2145242647 Global Citation Count
start page
- 315
end page
- 318