%0 Conference Paper %1 conf/staf/JouaultT022 %A Jouault, Frédéric %A Teodorov, Ciprian %A Brun, Matthias %B STAF Workshops %D 2022 %E Dubois, Catherine %E Cohen, Julien %I CEUR-WS.org %K dblp %T Smart Home Model Verification with AnimUML (Poster). %U http://dblp.uni-trier.de/db/conf/staf/staf2022w.html#JouaultT022 %V 3250

@inproceedings{conf/staf/JouaultT022, added-at = {2023-03-10T00:00:00.000+0100}, author = {Jouault, Frédéric and Teodorov, Ciprian and Brun, Matthias}, biburl = {https://www.bibsonomy.org/bibtex/2b39903c36039354f50c6b8cf6350f571/dblp}, booktitle = {STAF Workshops}, crossref = {conf/staf/2022w}, editor = {Dubois, Catherine and Cohen, Julien}, ee = {https://ceur-ws.org/Vol-3250/messpaper6.pdf}, interhash = {5b5d20a026bf6ad2cd65c8f2dc76597d}, intrahash = {b39903c36039354f50c6b8cf6350f571}, keywords = {dblp}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T20:24:02.000+0200}, title = {Smart Home Model Verification with AnimUML (Poster).}, url = {http://dblp.uni-trier.de/db/conf/staf/staf2022w.html#JouaultT022}, volume = 3250, year = 2022 }