HomeOwner SearchCategory Search
Visit USCOThe SPIN verification system the second workshop on the SPIN verification system : proceedings of a DIMACS workshop, August 5, 1996 Jean-Charles Gregoire, Gerard J. Holzmann, Doron A. Peled, editors
Text Registration
Copyright Title
The SPIN verification system the second workshop on the SPIN verification system : proceedings of a DIMACS workshop, August 5, 1996 Jean-Charles Gregoire, Gerard J. Holzmann, Doron A. Peled, editors
Status
Published
on 14 Jun 2007
Year of Creation
1997
Copyright Claimant
American Mathematical Society
Registration Number
TX0004574776
on 14 Jun 2007Copyright Summary
The U.S. Copyright record (Registration Number: TX0004574776) dated 14 Jun 2007, pertains to an electronic file (eService) titled "The SPIN verification system the second workshop on the SPIN verification system : proceedings of a DIMACS workshop, August 5, 1996 Jean-Charles Gregoire, Gerard J. Holzmann, Doron A. Peled, editors" created in 1997. The copyright holder is American Mathematical Society, known for their creative contributions in text registration. For any inquiries concerning this copyrighted material, kindly reach out to American Mathematical Society.
Application Details
Registration Number
TX0004574776
Registration Date
6/14/2007
Year of Creation
1997
Place of First Publication
Providence
Publisher Name
American Mathematical Society
Agency Marc Code
DLC-CO
Record Status
New
Physical Description
203 p
Series Statement
DIMACS series in discrete mathematics and theoretical computer science vol. 32
© 2024 reserved by Trademarkia
Show terms & conditions
Disclaimer: The information contained in this website is provided for informational purposes only, and should not be construed as legal advice. Although LegalForce RAPC Worldwide P.C., dba Trademarkia P.C., is a law firm (the “Firm”), your use of this website does not establish an attorney-client relationship with the Firm. Such a relationship can only be established after the Firm decides that it is willing and able to accept the engagement after a conflict check and after a written retainer agreement is agreed upon between you and the Firm. Your use of this website is also subject to our Terms of Use and Privacy Policy. ** The entry level subscription is a bundled price which requires a minimum of two billing cycles, or 6 months.