%0 Conference Paper %1 conf/wodes/WareM10 %A Ware, Simon %A Malik, Robi %B WODES %D 2010 %E Raisch, Jörg %E Giua, Alessandro %E Lafortune, Stéphane %E Moor, Thomas %I International Federation of Automatic Control %K dblp %P 364-369 %T Compositional nonblocking verification using annotated automata. %U http://dblp.uni-trier.de/db/conf/wodes/wodes2010.html#WareM10 %@ 978-3-902661-79-1

@inproceedings{conf/wodes/WareM10, added-at = {2014-11-27T00:00:00.000+0100}, author = {Ware, Simon and Malik, Robi}, biburl = {https://www.bibsonomy.org/bibtex/226e6488d2367fdbe08d352b96957e1cd/dblp}, booktitle = {WODES}, crossref = {conf/wodes/2010}, editor = {Raisch, Jörg and Giua, Alessandro and Lafortune, Stéphane and Moor, Thomas}, ee = {http://dx.doi.org/10.3182/20100830-3-DE-4013.00060}, interhash = {f079db9f3dae557041263dde5d5e360f}, intrahash = {26e6488d2367fdbe08d352b96957e1cd}, isbn = {978-3-902661-79-1}, keywords = {dblp}, pages = {364-369}, publisher = {International Federation of Automatic Control}, timestamp = {2015-06-18T15:03:56.000+0200}, title = {Compositional nonblocking verification using annotated automata.}, url = {http://dblp.uni-trier.de/db/conf/wodes/wodes2010.html#WareM10}, year = 2010 }