%0 Journal Article %1 journals/jlp/BraccialiBT05 %A Bracciali, Andrea %A Brogi, Antonio %A Turini, Franco %D 2005 %J J. Log. Algebraic Methods Program. %K dblp %N 2 %P 215-240 %T A framework for specifying and verifying the behaviour of open systems. %U http://dblp.uni-trier.de/db/journals/jlp/jlp63.html#BraccialiBT05 %V 63

@article{journals/jlp/BraccialiBT05, added-at = {2021-02-16T00:00:00.000+0100}, author = {Bracciali, Andrea and Brogi, Antonio and Turini, Franco}, biburl = {https://www.bibsonomy.org/bibtex/27bf417333831c100524a27c4183746a7/dblp}, ee = {https://www.wikidata.org/entity/Q62046308}, interhash = {36fefea5e89d44362b165018daf0c403}, intrahash = {7bf417333831c100524a27c4183746a7}, journal = {J. Log. Algebraic Methods Program.}, keywords = {dblp}, number = 2, pages = {215-240}, timestamp = {2024-04-08T10:50:06.000+0200}, title = {A framework for specifying and verifying the behaviour of open systems.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp63.html#BraccialiBT05}, volume = 63, year = 2005 }