%0 Journal Article %1 journals/ijfcs/WareM13 %A Ware, Simon %A Malik, Robi %D 2013 %J Int. J. Found. Comput. Sci. %K dblp %N 8 %P 1183-1208 %T Compositional Verification of the generalized Nonblocking Property using Abstraction and Canonical Automata. %U http://dblp.uni-trier.de/db/journals/ijfcs/ijfcs24.html#WareM13 %V 24

@article{journals/ijfcs/WareM13, added-at = {2014-04-02T00:00:00.000+0200}, author = {Ware, Simon and Malik, Robi}, biburl = {https://www.bibsonomy.org/bibtex/2bd7dd8ec010b701a4593d2646211be67/dblp}, ee = {http://dx.doi.org/10.1142/S0129054113500287}, interhash = {ce9ffcb11a50dce840c07ca599367f31}, intrahash = {bd7dd8ec010b701a4593d2646211be67}, journal = {Int. J. Found. Comput. Sci.}, keywords = {dblp}, number = 8, pages = {1183-1208}, timestamp = {2015-06-18T06:43:48.000+0200}, title = {Compositional Verification of the generalized Nonblocking Property using Abstraction and Canonical Automata.}, url = {http://dblp.uni-trier.de/db/journals/ijfcs/ijfcs24.html#WareM13}, volume = 24, year = 2013 }