खोज परिणाम - "Annotated labeled transition system."

  • प्रदर्शित 1 - 1 परिणाम 1
परिणाम को परिष्कृत करें
  1. 1

    Incremental integration testing of concurrent programs. द्वारा Koppol, P.V

    में प्रकाशित IEEE Transactions on software engineering
    लेख


    कवर छवि

खोज साधन: