SAT-Based Control of Concurrent Software for Deadlock Avoidance
, , and .
Automatic Control, IEEE Transactions on 60 (12): 3269--3274 (December 2015)

  • @fernand0
  • @dblp
This publication has not been reviewed yet.

rating distribution
average user rating0.0 out of 5.0 based on 0 reviews
    Please log in to take part in the discussion (add own reviews or comments).