%0 Conference Paper %1 conf/sita/SoufianeAB18 %A Zahid, Soufiane %A En-Nouaary, Abdeslam %A Bah, Slimane %B SITA %D 2018 %E Berrado, Abdelaziz %E Bakkoury, Zohra %E Bouchon-Meunier, Bernadette %E Ramdani, Mohammed %I ACM %K dblp %P 14:1-14:5 %T An SDL to Discrete-Time PROMELA Transformation of Home Area Network model. %U http://dblp.uni-trier.de/db/conf/sita/sita2018.html#SoufianeAB18 %@ 978-1-4503-6462-1

@inproceedings{conf/sita/SoufianeAB18, added-at = {2019-12-10T00:00:00.000+0100}, author = {Zahid, Soufiane and En-Nouaary, Abdeslam and Bah, Slimane}, biburl = {https://www.bibsonomy.org/bibtex/20555c615d937cbb412b5633ec12af17f/dblp}, booktitle = {SITA}, crossref = {conf/sita/2018}, editor = {Berrado, Abdelaziz and Bakkoury, Zohra and Bouchon-Meunier, Bernadette and Ramdani, Mohammed}, ee = {https://doi.org/10.1145/3289402.3289514}, interhash = {a2583c97d55818e85a25a8b1f564da05}, intrahash = {0555c615d937cbb412b5633ec12af17f}, isbn = {978-1-4503-6462-1}, keywords = {dblp}, pages = {14:1-14:5}, publisher = {ACM}, timestamp = {2019-12-11T11:42:40.000+0100}, title = {An SDL to Discrete-Time PROMELA Transformation of Home Area Network model.}, url = {http://dblp.uni-trier.de/db/conf/sita/sita2018.html#SoufianeAB18}, year = 2018 }