HomeOwner SearchCategory Search
Model checking Edmund M. Clarke, Jr., Orna Grumberg and Doron A. Peled
Visit USCO
hero image
Text Registration
Copyright Title

Model checking Edmund M. Clarke, Jr., Orna Grumberg and Doron A. Peled

Status

Published

on 14 Jun 2007
Year of Creation
1999
Registration Number
TX0005250189
on 14 Jun 2007

Copyright Summary


The U.S. Copyright record (Registration Number: TX0005250189) dated 14 Jun 2007, pertains to an electronic file (eService) titled "Model checking Edmund M. Clarke, Jr., Orna Grumberg and Doron A. Peled" created in 1999. The copyright holder is Edmund M. Clarke, Jr., 1945-, Orna Grumberg and Lucent Technologies, known for their creative contributions in text registration. For any inquiries concerning this copyrighted material, kindly reach out to Edmund M. Clarke, Jr., 1945-, Orna Grumberg and Lucent Technologies.

Application Details


Registration Number
TX0005250189
Registration Date
6/14/2007
Year of Creation
1999
Place of First Publication
Cambridge, MA
Publisher Name
MIT Press
Agency Marc Code
DLC-CO
Record Status
New
Physical Description
314 p

Corporate Authors


Get your copyright registered todayThousands have copyrighted their assets.
What are you waiting for?

© 2024 reserved by Trademarkia
Show terms & conditions