English
Deutsch
Log In
Log in with Fraunhofer Smartcard
Password Login
Have you forgotten your password?
Research Outputs
Fundings & Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Konferenzschrift
How to Model and Verify Concurrent Algorithms for Distributed CSPs*
Details
Full
Export
Statistics
Options
Show all metadata (technical view)
2000
Conference Paper
Title
How to Model and Verify Concurrent Algorithms for Distributed CSPs*
Author(s)
Hannebauer, M.
Mainwork
Principles and practice of constraint programming - CP 2000
Conference
International Conference on Principles and Practice of Constraint Programming 2000
DOI
10.1007/3-540-45349-0_40
Language
English
FIRST