Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Marked Items 
Alerts
Order History
Saved Items
All
Favorites
    
Book Chapter Printable view
Integer programming in the analysis of concurrent systems

Integer programming in the analysis of concurrent systems

Book SeriesLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN0302-9743 (Print) 1611-3349 (Online)
VolumeVolume 575/1992
BookComputer Aided Verification
DOI10.1007/3-540-55179-4
Copyright1992
ISBN978-3-540-55179-9
CategorySession 4: Applications 2
DOI10.1007/3-540-55179-4_10
Pages92-102
Subject CollectionComputer Science
SpringerLink DateFriday, January 20, 2006
Add to marked items

Session 4: Applications 2

Integer programming in the analysis of concurrent systems

George S. Avrunin1 Contact Information, Ugo A. Buy2 Contact Information and James C. Corbett1 Contact Information

(1)  University of Massachusetts at Amherst, 01003 Amherst, MA
(2)  University of Illinois at Chicago, 60680 Chicago, IL
Without Abstract
The research described here was partially supported by National Science Foundation grant CCR-8806970 and Office of Naval Research grant N00014-89-J-1064.
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.
more options
Find


Export this chapter
Export this chapter as RIS | Text
 
Frequently asked questions | General information on journals and books | Send us your feedback | Impressum | Contact
© Springer. Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
Remote Address: 38.107.191.111 • Server: mpweb19
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)