%0 Journal Article %1 journals/amai/FerrarottiSTW18 %A Ferrarotti, Flavio %A Schewe, Klaus-Dieter %A Tec, Loredana %A Wang, Qing %D 2018 %J Ann. Math. Artif. Intell. %K dblp %N 3-4 %P 321-349 %T A unifying logic for non-deterministic, parallel and concurrent abstract state machines. %U http://dblp.uni-trier.de/db/journals/amai/amai83.html#FerrarottiSTW18 %V 83

@article{journals/amai/FerrarottiSTW18, added-at = {2022-10-02T00:00:00.000+0200}, author = {Ferrarotti, Flavio and Schewe, Klaus-Dieter and Tec, Loredana and Wang, Qing}, biburl = {https://www.bibsonomy.org/bibtex/209100af28fc246b520d98228d8e3e0a1/dblp}, ee = {https://doi.org/10.1007/s10472-017-9569-3}, interhash = {c795730c490d18b944ea3cd6e6e7db04}, intrahash = {09100af28fc246b520d98228d8e3e0a1}, journal = {Ann. Math. Artif. Intell.}, keywords = {dblp}, number = {3-4}, pages = {321-349}, timestamp = {2024-04-08T16:48:48.000+0200}, title = {A unifying logic for non-deterministic, parallel and concurrent abstract state machines.}, url = {http://dblp.uni-trier.de/db/journals/amai/amai83.html#FerrarottiSTW18}, volume = 83, year = 2018 }