%0 Conference Paper %1 conf/aiss/MarinSMHBM21 %A Marín, Joselito Medina %A Serna-Diaz, Maria Guadalupe %A Mora, Juan Carlos Seck Tuoh %A Hernandez-Romero, Norberto %A Barragán-Vite, Irving %A Montano-Lara, Cinthia %B AISS %D 2021 %I ACM %K dblp %P 87:1-87:7 %T Static Analysis for the No Termination Problem in Active Databases by Using Petri Nets Modelling. %U http://dblp.uni-trier.de/db/conf/aiss/aiss2021.html#MarinSMHBM21 %@ 978-1-4503-8586-2

@inproceedings{conf/aiss/MarinSMHBM21, added-at = {2023-06-26T00:00:00.000+0200}, author = {Marín, Joselito Medina and Serna-Diaz, Maria Guadalupe and Mora, Juan Carlos Seck Tuoh and Hernandez-Romero, Norberto and Barragán-Vite, Irving and Montano-Lara, Cinthia}, biburl = {https://www.bibsonomy.org/bibtex/2c5c69ee0ee499c508451a2ac0b9b89a4/dblp}, booktitle = {AISS}, crossref = {conf/aiss/2021}, ee = {https://doi.org/10.1145/3503047.3503152}, interhash = {d956f0d896cffbd43d8f5287f853e751}, intrahash = {c5c69ee0ee499c508451a2ac0b9b89a4}, isbn = {978-1-4503-8586-2}, keywords = {dblp}, pages = {87:1-87:7}, publisher = {ACM}, timestamp = {2024-04-10T02:04:44.000+0200}, title = {Static Analysis for the No Termination Problem in Active Databases by Using Petri Nets Modelling.}, url = {http://dblp.uni-trier.de/db/conf/aiss/aiss2021.html#MarinSMHBM21}, year = 2021 }