HomeOwner SearchCategory Search
Visit USCOProceedings of the tenth international workshop on formal methods for industrial critical systems, September 5-6, 2005, Lisbon, Portugal editors, Tiziana Margaria & Mieke Massink
Text Registration
Copyright Title
Proceedings of the tenth international workshop on formal methods for industrial critical systems, September 5-6, 2005, Lisbon, Portugal editors, Tiziana Margaria & Mieke Massink
Status
Published
on 15 Jun 2007
Year of Creation
2005
Copyright Claimant
on introd. & compilation; Association for Computing Machinery, Inc. (ACM) (employer for hire)
Registration Number
TX0006228907
on 15 Jun 2007Copyright Summary
The U.S. Copyright record (Registration Number: TX0006228907) dated 15 Jun 2007, pertains to an electronic file (eService) titled "Proceedings of the tenth international workshop on formal methods for industrial critical systems, September 5-6, 2005, Lisbon, Portugal editors, Tiziana Margaria & Mieke Massink" created in 2005. The copyright holder is On introd. & compilation; Association for Computing Machinery, Inc. (ACM) (employer for hire), known for their creative contributions in text registration. For any inquiries concerning this copyrighted material, kindly reach out to On introd. & compilation; Association for Computing Machinery, Inc. (ACM) (employer for hire).
Copyright Details
Application Details
Registration Number
TX0006228907
Registration Date
6/15/2007
Year of Creation
2005
Place of First Publication
New York
Publisher Name
ACM
Agency Marc Code
DLC-CO
Record Status
Changed
Corporate Author
Association for Computing Machinery, Inc ACM
Physical Description
144 p
Notes
Bibliographic Note: Spine ti.: FMICS'05: 10th int. workshop on formal methods for industrial critical systems, Lisbon
© 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.