- Tytuł:
- Testing Temporal Logic Properties in Distributed Systems
- Autorzy:
- Źródło:
- Testing of Communicating Systems : Proceedings of the IFIP TC6 11th International Workshop on Testing of Communicating Systems (IWTCS’98) August 31-September 2, 1998, Tomsk, Russia. 3:247-262
Książka elektroniczna