doi dblp Verification of Hypermedia Characteristic of RESTful Finite-State Machines Henry Vu | Tobias Fertig | Peter Braun Companion of the The Web Conference 2018 on The Web Conference 2018, WWW 2018, Lyon , France, April 23-27, 2018