AN EXTENDED CSPE- BASED METHOD FOR SPECIFICATION - BASED TESTING OF CONCURRENT PROGRAMS.

No Thumbnail Available

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Saudi Digital Library

Abstract

Description

Keywords

Citation

URI

https://drepo.sdl.edu.sa/handle/20.500.14154/59673

Collections

SACM - United States of America

Endorsement

Review

Supplemented By

Referenced By

Copyright owned by the Saudi Digital Library (SDL) © 2025