HomeOwner Search
Visit USCO2007
Category SearchVerifying concurrent processes using temporal logic Brent T. Hailpern [i.e. Brent Tzion Hailpern]
Text Registration
Copyright Title
Verifying concurrent processes using temporal logic Brent T. Hailpern [i.E. Brent Tzion Hailpern]
Status
Published
on 14 Jun 2007
Year of Creation
1982
Copyright Claimant
Springer-Verlag
Registration Number
TX0000927880
on 14 Jun 2007Copyright Summary
The U.S. Copyright record (Registration Number: TX0000927880) dated 14 Jun 2007, pertains to an electronic file (eService) titled "Verifying concurrent processes using temporal logic Brent T. Hailpern [i.e. Brent Tzion Hailpern]" created in 1982. The copyright holder is Springer-Verlag, known for their creative contributions in text registration. For any inquiries concerning this copyrighted material, kindly reach out to Springer-Verlag.
Application Details
Registration Number
TX0000927880
Registration Date
6/14/2007
Year of Creation
1982
Place of First Publication
New York
Publisher Name
Springer-Verlag
Agency Marc Code
DLC-CO
Record Status
New
Physical Description
208 p
Series Statement
Lecture notes in computer science v. 129
ISBN
0387112057
© 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.