- Tytuł:
- ILF and DAWN for verifying distributed algorithms : an idea for a tool
- Autorzy:
-
Baar, T.
Kindler, E. - Data publikacji:
- 1999
- Słowa kluczowe:
-
automated theorem provers
distributed algorithms
verification - Pokaż więcej
- Dostawca treści:
- BazTech