Branching vs. linear time – semantical perspective

by Sumit Nain , Moshe Y. Vardi
Venue:In Proc. 5th Int’l Symp. on ATVA, LNCS 4762
Citations:11 - 2 self