Analysis and Verification of Multiple-Agent Languages: 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers

...
Author:  Mads Dam
6 downloads 330 Views 4MB Size Report

This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!

Report copyright / DMCA form

DOWNLOAD DJVU

Recommend Documents

Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1956 3 Berlin Heidelberg New Yor...
« OECD Territorial Reviews Stockholm, Sweden The Territorial Review of Stockholm is integrated into a series of thema...
Selected Papers Volume I Arizona, 1968 Peter D. Lax Selected Papers Volume I Edited by Peter Sarnak and Andrew M...
Errett Albert Bishop speaking at the 50th summer meeting of the Mathematical Association of America in Eugene, Oregon in...
Lecture Notes in Computer Science Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris ...