Text Registration
Copyright Title
Design and validation of computer protocols Gerard J. Holzmann
Status
Unpublished
on 14 Jun 2007
Year of Creation
1990
Copyright Claimant
AT & T Bell Telephone Laboratories, Inc
Registration Number
TXu000450356
on 14 Jun 2007Copyright Summary
The U.S. Copyright record (Registration Number: TXu000450356) dated 14 Jun 2007, pertains to an electronic file (eService) titled "Design and validation of computer protocols Gerard J. Holzmann" created in 1990. The copyright holder is AT & T Bell Telephone Laboratories, Inc, known for their creative contributions in text registration. For any inquiries concerning this copyrighted material, kindly reach out to AT & T Bell Telephone Laboratories, Inc.
Application Details
Registration Number
TXu000450356
Registration Date
6/14/2007
Year of Creation
1990
Agency Marc Code
DLC-CO
Record Status
New
Corporate Author
AT & T Bell Telephone Laboratories, Inc
Physical Description
1 v
Notes
Local Copyright Note: C.O. correspondence
Statements
Author Statement: AT & T Bell Telephone Laboratories, Inc., employer for hire
© 2023 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.