CITATION STYLE
Using partial orders to tackle state explosion. (1996) (pp. 27–40). https://doi.org/10.1007/3-540-60761-7_30
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley