%0 Conference Paper %1 conf/icycs/Xia08a %A Xia, Chuanliang %B ICYCS %D 2008 %I IEEE Computer Society %K dblp %P 240-246 %T Property Preservation by Petri-Net-Based Refinements in System Design. %U http://dblp.uni-trier.de/db/conf/icycs/icycs2008.html#Xia08a %@ 978-0-7695-3398-8

@inproceedings{conf/icycs/Xia08a, added-at = {2023-03-24T00:00:00.000+0100}, author = {Xia, Chuanliang}, biburl = {https://www.bibsonomy.org/bibtex/2b3c363b1a21574bd362c19ab5c4e66d4/dblp}, booktitle = {ICYCS}, crossref = {conf/icycs/2008}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICYCS.2008.128}, interhash = {a7217401a21a0e6dc3c2957525a8d49c}, intrahash = {b3c363b1a21574bd362c19ab5c4e66d4}, isbn = {978-0-7695-3398-8}, keywords = {dblp}, pages = {240-246}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T12:44:54.000+0200}, title = {Property Preservation by Petri-Net-Based Refinements in System Design.}, url = {http://dblp.uni-trier.de/db/conf/icycs/icycs2008.html#Xia08a}, year = 2008 }