%0 Thesis %1 phd/it/Vessio17 %A Vessio, Gennaro %D 2017 %K dblp %T Analysis of Properties of Complex Systems with Abstract State Machines.

@phdthesis{phd/it/Vessio17, added-at = {2023-05-10T00:00:00.000+0200}, author = {Vessio, Gennaro}, biburl = {https://www.bibsonomy.org/bibtex/23cfab08af373db9b4619ed208f020ace/dblp}, ee = {https://hdl.handle.net/11586/230086}, interhash = {a9088fb423a1a325f17a09db6545e69d}, intrahash = {3cfab08af373db9b4619ed208f020ace}, keywords = {dblp}, school = {University of Bari, Italy}, timestamp = {2024-04-09T09:27:39.000+0200}, title = {Analysis of Properties of Complex Systems with Abstract State Machines.}, year = 2017 }