%0 Journal Article %1 journals/computer/MaS021 %A Ma, Meiyi %A Stankovic, John A. %A Feng, Lu %D 2021 %J Computer %K dblp %N 9 %P 39-48 %T Toward Formal Methods for Smart Cities. %U http://dblp.uni-trier.de/db/journals/computer/computer54.html#MaS021 %V 54

@article{journals/computer/MaS021, added-at = {2021-09-16T00:00:00.000+0200}, author = {Ma, Meiyi and Stankovic, John A. and Feng, Lu}, biburl = {https://www.bibsonomy.org/bibtex/21c5efbb9c8eb8acb0144607477d99d03/dblp}, ee = {https://doi.org/10.1109/MC.2021.3082991}, interhash = {41ae090abae93d5bc34ba49ad570ed67}, intrahash = {1c5efbb9c8eb8acb0144607477d99d03}, journal = {Computer}, keywords = {dblp}, number = 9, pages = {39-48}, timestamp = {2024-04-08T18:09:27.000+0200}, title = {Toward Formal Methods for Smart Cities.}, url = {http://dblp.uni-trier.de/db/journals/computer/computer54.html#MaS021}, volume = 54, year = 2021 }