Testing parallel and distributed programs with temporal logic specifications.

Authors :: Frey, M.
Oberhuber, M.
Source :: Proceedings of PDSE '97: 2nd International Workshop on Software Engineering for Parallel & Distributed Systems; 1997, p62-72, 11p
Publication Year :: 1997

Language :: English
ISBNs :: 9780818680434
Database :: Complementary Index
Journal :: Proceedings of PDSE '97: 2nd International Workshop on Software Engineering for Parallel & Distributed Systems
Publication Type :: Conference
Accession number :: 92453508
Full Text :: https://doi.org/10.1109/PDSE.1997.596827