%0 Conference Paper %1 conf/cdc/MaLG15 %A Ma, Ziyue %A Li, Zhiwu %A Giua, Alessandro %B CDC %D 2015 %I IEEE %K dblp %P 1675-1681 %T A method to verify the controllability of language specifications in Petri nets based on basis marking analysis. %U http://dblp.uni-trier.de/db/conf/cdc/cdc2015.html#MaLG15 %@ 978-1-4799-7886-1

@inproceedings{conf/cdc/MaLG15, added-at = {2022-04-29T00:00:00.000+0200}, author = {Ma, Ziyue and Li, Zhiwu and Giua, Alessandro}, biburl = {https://www.bibsonomy.org/bibtex/2167fa23137a7e06d1f0b031916990349/dblp}, booktitle = {CDC}, crossref = {conf/cdc/2015}, ee = {https://doi.org/10.1109/CDC.2015.7402451}, interhash = {4edb0ab245ace8272bedacc429b049d6}, intrahash = {167fa23137a7e06d1f0b031916990349}, isbn = {978-1-4799-7886-1}, keywords = {dblp}, pages = {1675-1681}, publisher = {IEEE}, timestamp = {2024-04-10T13:59:23.000+0200}, title = {A method to verify the controllability of language specifications in Petri nets based on basis marking analysis.}, url = {http://dblp.uni-trier.de/db/conf/cdc/cdc2015.html#MaLG15}, year = 2015 }