scientific article; zbMATH DE number 1798186
From MaRDI portal
Publication:4553259
zbMATH Open0996.68517MaRDI QIDQ4553259FDOQ4553259
Authors: Luca De Alfaro 
Publication date: 4 November 2002
Title of this publication is not available (Why is that?)
Recommendations
- Modeling and model checking web services
- Formal Techniques for Networked and Distributed Systems – FORTE 2004
- WAVer: a model checking-based tool to verify web application design
- Model checking using net unfoldings
- Model checking using net unfoldings
- scientific article; zbMATH DE number 2080188
- scientific article; zbMATH DE number 910719
Cited In (9)
- Model checking hybrid logics (with an application to semistructured data)
- Title not available (Why is that?)
- Modeling web interactions and errors
- Applying model-checking to solve queries on semistructured data
- Verifying the consistency of web-based technical documentations
- Formal methods for verification of websites macrostructure integrity
- Modeling and model checking web services
- WAVer: a model checking-based tool to verify web application design
- Model checking database applications
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4553259)
