%0 Journal Article %1 journals/scp/KamburjanSR23 %A Kamburjan, Eduard %A Scaletta, Marco %A Rollshausen, Nils %D 2023 %J Sci. Comput. Program. %K dblp %P 102928 %T Deductive verification of active objects with Crowbar. %U http://dblp.uni-trier.de/db/journals/scp/scp226.html#KamburjanSR23 %V 226

@article{journals/scp/KamburjanSR23, added-at = {2024-10-06T00:00:00.000+0200}, author = {Kamburjan, Eduard and Scaletta, Marco and Rollshausen, Nils}, biburl = {https://www.bibsonomy.org/bibtex/267c7b034c0682445f436ca7042f2df54/dblp}, ee = {https://doi.org/10.1016/j.scico.2023.102928}, interhash = {991e0d81242d9dd817294344f1590647}, intrahash = {67c7b034c0682445f436ca7042f2df54}, journal = {Sci. Comput. Program.}, keywords = {dblp}, month = {March}, pages = 102928, timestamp = {2024-10-07T07:40:33.000+0200}, title = {Deductive verification of active objects with Crowbar.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp226.html#KamburjanSR23}, volume = 226, year = 2023 }