%0 Conference Paper %1 conf/icra/MurataK87 %A Murata, Tomohiro %A Komoda, Norihisa %B ICRA %D 1987 %I IEEE %K dblp %P 1960-1965 %T Liveness analysis of sequence control specifications described in capacity designated Petri net using reduction. %U http://dblp.uni-trier.de/db/conf/icra/icra1987.html#MurataK87 %@ 0-8186-0787-4

@inproceedings{conf/icra/MurataK87, added-at = {2017-05-22T00:00:00.000+0200}, author = {Murata, Tomohiro and Komoda, Norihisa}, biburl = {https://www.bibsonomy.org/bibtex/2c278edeb6cc78b2527374e039468c65f/dblp}, booktitle = {ICRA}, crossref = {conf/icra/1987}, ee = {https://doi.org/10.1109/ROBOT.1987.1087786}, interhash = {9295aab94ebea631f2e93b0a88174abe}, intrahash = {c278edeb6cc78b2527374e039468c65f}, isbn = {0-8186-0787-4}, keywords = {dblp}, pages = {1960-1965}, publisher = {IEEE}, timestamp = {2019-10-17T13:14:26.000+0200}, title = {Liveness analysis of sequence control specifications described in capacity designated Petri net using reduction.}, url = {http://dblp.uni-trier.de/db/conf/icra/icra1987.html#MurataK87}, year = 1987 }