%0 Journal Article %1 journals/cleiej/AsteasuainCDG21 %A Asteasuain, Fernando %A Calonge, Federico %A Dubinsky, Manuel %A Gamboa, Pablo %D 2021 %J CLEI Electron. J. %K dblp %N 3 %T Open and Branching Behavioral Synthesis with Scenario Clauses. %U http://dblp.uni-trier.de/db/journals/cleiej/cleiej24.html#AsteasuainCDG21 %V 24

@article{journals/cleiej/AsteasuainCDG21, added-at = {2022-02-08T00:00:00.000+0100}, author = {Asteasuain, Fernando and Calonge, Federico and Dubinsky, Manuel and Gamboa, Pablo}, biburl = {https://www.bibsonomy.org/bibtex/26b4492696f7e152fa404490d04d1a346/dblp}, ee = {https://doi.org/10.19153/cleiej.24.3.1}, interhash = {8d2197b216cc88428ec5ca3b7db0b13e}, intrahash = {6b4492696f7e152fa404490d04d1a346}, journal = {CLEI Electron. J.}, keywords = {dblp}, number = 3, timestamp = {2024-04-08T09:55:46.000+0200}, title = {Open and Branching Behavioral Synthesis with Scenario Clauses.}, url = {http://dblp.uni-trier.de/db/journals/cleiej/cleiej24.html#AsteasuainCDG21}, volume = 24, year = 2021 }