Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Search Results

Display Settings
Results per page: 10
Sort By: Relevance
Filter
  • 1-1 of  1 results for ""DISCRETE systems""

Your Filters

Content Provider : Academic Search Index Publication : science of computer programming Publisher : elsevier b.v. Subject : algorithms Filter by : Subject
Reset filters
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

An algorithm for compositional nonblocking verification using special events.

Subjects: *DISCRETE systems; *ALGORITHMS; *FOUNDATIONS of arithmetic

  • Source: Science of Computer Programming. Dec2015 Part 2, Vol. 113, p119-148. 30p.

Record details

Read More Add to Saved list
×
  • 1-1 of  1 results for ""DISCRETE systems""