HomeOwner SearchCategory Search
Visit USCOSpecification and Verification of Actor Protocols with Finite-state Machines
Text Registration
Copyright Title
Specification and Verification of Actor Protocols with Finite-state Machines
Status
Published
on 25 Nov 2019
Year of Creation
2019
Copyright Claimant
Jonathan Patrick Schuster
Registration Number
TX0008820168
on 25 Nov 2019Copyright Summary
The U.S. Copyright record (Registration Number: TX0008820168) dated 25 Nov 2019, pertains to an electronic file (eService) titled "Specification and Verification of Actor Protocols with Finite-state Machines" created in 2019. The copyright holder is Jonathan Patrick Schuster, known for their creative contributions in text registration. For any inquiries concerning this copyrighted material, kindly reach out to Jonathan Patrick Schuster.
Application Details
Registration Number
TX0008820168
Registration Date
11/25/2019
Year of Creation
2019
Agency Marc Code
DLC-CO
Record Status
New
Physical Description
Electronic file (eService)
First Publication Nation
United States
Notes
Rights Note: Mark Dill, ProQuest, LLC, 789 E. Eisenhower Parkway, Ann Arbor, MI, 48108-3218, United States, (800) 521-0600, disspub@proquest.com
Statements
Application Title Statement: Specification and Verification of Actor Protocols with Finite-state Machines
Author Statement: Jonathan Schuster Citizenship: not known Authorship: text
© 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.