Verification of Hypermedia Characteristic of RESTful Finite-State Machines.

@inproceedings{vu-2018-verification, author = {Henry Vu and Tobias Fertig and Peter Braun}, editor = {Pierre-Antoine Champin and Fabien Gandon and Mounia Lalmas-Roelleke and Panagiotis G. Ipeirotis}, title = {{Verification of Hypermedia Characteristic of RESTful Finite-State Machines}}, booktitle = {{Companion Proceedings of the The Web Conference 2018, WWW 2018, Lyon , France, April 23-27, 2018}}, pages = {1881--1886}, publisher = {ACM}, year = {2018}, url = {https://doi.org/10.1145/3184558.3191656}, doi = {https://doi.org/10.1145/3184558.3191656} }