BibTeX record conf/soict/LeBQPA15

• > Home > conf/soict/LeBQPA15

@inproceedings{DBLP:conf/soict/LeBQPA15,
  author       = {Khanh Le and
                  Thang H. Bui and
                  Tho Quan and
                  Laure Petrucci and
                  {\'{E}}tienne Andr{\'{e}}},
  editor       = {Huynh Quyet Thang and
                  Le Anh Phuong and
                  Luc De Raedt and
                  Yves Deville and
                  Marc Bui and
                  Truong Thi Dieu Linh and
                  Thi{-}Oanh Nguyen and
                  Dinh Viet Sang and
                  Nguyen Ba Ngoc},
  title        = {Component-Based Abstraction of Petri Net Models: An Application for
                  Congestion Verification of Wireless Sensor Networks},
  booktitle    = {Proceedings of the Sixth International Symposium on Information and
                  Communication Technology, Hue City, Vietnam, December 3-4, 2015},
  pages        = {342--349},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2833258.2833298},
  doi          = {10.1145/2833258.2833298},
  timestamp    = {Mon, 16 Jan 2023 17:00:33 +0100},
  biburl       = {https://dblp.org/rec/conf/soict/LeBQPA15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}