@fernand0

SAT-Based Control of Concurrent Software for Deadlock Avoidance

, , and . Automatic Control, IEEE Transactions on 60 (12): 3269--3274 (December 2015)

Links and resources

URL:
BibTeX key:
StanleyLiaoLafortune15
search on:

Comments and Reviews  
(0)

There is no review or comment yet. You can write one!

Tags


Cite this publication