Search Results - Rakib, Abdur

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Alternating-time temporal logic with resource bounds

    Alternating-time temporal logic with resource bounds by Nguyen, Hoang Nga, Alechina, Natasha, Logan, Brian, Rakib, Abdur

    Published 2015
    Get full text

Search Tools: