Home
Random
Nearby
Log in
Settings
Donate
About Wikidata
Disclaimers
Search
(Q102390262)
Watch
English
Roopak Sinha
Ph.D. University of Auckland 2009
In more languages
edit
Statements
instance of
human
0 references
educated at
University of Auckland
2 references
stated in
Mathematics Genealogy Project
stated in
Automated techniques for formal verification of SoCs
academic degree
Doctor of Philosophy
point in time
2009
dissertation submitted to
University of Auckland
1 reference
reference URL
http://hdl.handle.net/2292/4238
academic thesis
Automated techniques for formal verification of SoCs
object has role
doctoral thesis
0 references
doctoral advisor
Partha Roop
1 reference
stated in
Mathematics Genealogy Project
Bakhadyr Khoussainov
1 reference
stated in
Mathematics Genealogy Project
Partha S Roop
2 references
stated in
Automated techniques for formal verification of SoCs
reference URL
http://hdl.handle.net/2292/4238
doctoral student
Shereen Moataz Afifi
1 reference
reference URL
http://hdl.handle.net/10292/11913
Awais Tanveer
1 reference
reference URL
http://hdl.handle.net/10292/14760
Nidhi Nijagunappa Gowdra
1 reference
reference URL
http://hdl.handle.net/10292/14258
Barry Dowdeswell
1 reference
reference URL
http://hdl.handle.net/10292/14720
on focus list of Wikimedia project
NZThesisProject
0 references
Identifiers
Mathematics Genealogy Project ID
158049
0 references
Sitelinks
Wikipedia
(0 entries)
edit
Wikibooks
(0 entries)
edit
Wikinews
(0 entries)
edit
Wikiquote
(0 entries)
edit
Wikisource
(0 entries)
edit
Wikiversity
(0 entries)
edit
Wikivoyage
(0 entries)
edit
Wiktionary
(0 entries)
edit
Multilingual sites
(0 entries)
edit