Publications
Found 3 results
[ Author] Title Type Year Filters: First Letter Of Last Name is S and Author is Soares, Pedro [Clear All Filters]
Synchrony branching lemma for regular networks. SIAM J. Appl. Dyn. Syst.. 2017;16:1869-1892.Edit
Revisiting concurrent separation logic. J. Log. Algebr. Methods Program.. 2017;89:41-66.Edit