HomeOwner SearchCategory Search
Formal Methods in System Design [Published: 2016-08-08. Issue: vol. 48, no. 1-2, April 2016]
Visit USCO
hero image
Serial Registration
Copyright Title

Formal Methods in System Design [Published: 2016-08-08. Issue: vol. 48, no. 1-2, April 2016]

Status

Published

on 18 Oct 2016
Year of Creation
2016
Registration Number
TX0008322112
on 18 Oct 2016

Copyright Summary


The U.S. Copyright record (Registration Number: TX0008322112) dated 18 Oct 2016, pertains to an electronic file (eService) titled "Formal Methods in System Design [Published: 2016-08-08. Issue: vol. 48, no. 1-2, April 2016]" created in 2016. The copyright holder is Springer Science+Business Media LLC, known for their creative contributions in serial registration. For any inquiries concerning this copyrighted material, kindly reach out to Springer Science+Business Media LLC.

Copyright Details


Application Details


Registration Number
TX0008322112
Registration Date
10/18/2016
Year of Creation
2016
Agency Marc Code
DLC-CO
Record Status
New
Corporate Author
Springer Science+Business Media LLC
First Publication Nation
United States
ISSN
0925-9856

Notes


Copyright Local Holdings: vol. 48, no. 1-2, April 2016 Created 2016 Pub. 2016-08-08 Reg. 2016-10-20 TX0008322112 KCRIBB

Statements


Application Title Statement: Formal Methods in System Design
Author Statement: Springer Science+Business Media LLC employer for hire Domicile: United States Citizenship: United States Authorship: compilation, contribution(s) to a collective work
Get your copyright registered todayThousands have copyrighted their assets.
What are you waiting for?

© 2024 reserved by Trademarkia
Show terms & conditions