%0 Conference Paper %1 conf/eucc/SuSRH09 %A Su, Rong %A van Schuppen, Jan H. %A Rooda, Jacobus E. %A Hofkamp, Albert T. %B ECC %D 2009 %I IEEE %K dblp %P 1997-2002 %T Efficient nonconflict check by using automaton abstractions. %U http://dblp.uni-trier.de/db/conf/eucc/eucc2009.html#SuSRH09

@inproceedings{conf/eucc/SuSRH09, added-at = {2021-12-22T00:00:00.000+0100}, author = {Su, Rong and van Schuppen, Jan H. and Rooda, Jacobus E. and Hofkamp, Albert T.}, biburl = {https://www.bibsonomy.org/bibtex/2dbce86a6cbfd6f8faca36c5f444504ea/dblp}, booktitle = {ECC}, crossref = {conf/eucc/2009}, ee = {https://doi.org/10.23919/ECC.2009.7074697}, interhash = {83c804cfeff5a45e60c86fbfcef229a4}, intrahash = {dbce86a6cbfd6f8faca36c5f444504ea}, keywords = {dblp}, pages = {1997-2002}, publisher = {IEEE}, timestamp = {2024-04-09T14:17:57.000+0200}, title = {Efficient nonconflict check by using automaton abstractions.}, url = {http://dblp.uni-trier.de/db/conf/eucc/eucc2009.html#SuSRH09}, year = 2009 }