Toggle navigation
Publications
Researchers
Institutions
0
Sign In
Federated Authentication
(Click on the image)
Local Sign In
Password Recovery
Register
Sign In
Publications
Search
Statistics
Formal Verification of Matrix Based Matlab Models Using Interactive Theorem Proving
AuthID
P-00T-QCR
5
Author(s)
Gauhar, A
·
Rashid, A
·
Hasan, O
·
Bispo, J
·
Cardoso, JMP
Document Type
Article
Year published
2021
Published
in
PEERJ COMPUTER SCIENCE,
ISSN: 2376-5992
Volume: 7, Pages: e440 (21)
Indexing
Wos
®
Scopus
®
Dblp
®
/en/publications/view/875928
Crossref
®
3
Unpaywall
®
Google Scholar
®
Metadata
Sources
Publication Identifiers
DOI
:
10.7717/peerj-cs.440
Dblp
: journals/peerj-cs/GauharRHBC21
Scopus
: 2-s2.0-85103128505
Unpaywall
: 10.7717/peerj-cs.440
Wos
: WOS:000631194500001
Source Identifiers
ISSN
: 2376-5992
Export Publication Metadata
Export
×
Publication Export Settings
BibTex
EndNote
APA
Export Preview
Marked List
Add to Marked List
Info
At this moment we don't have any links to full text documens.
×
Select Source
This publication has:
2 records from
ISI
2 records from
SCOPUS
2 records from
DBLP
2 records from
Unpaywall
2 records from
Openlibrary
2 records from
Handle
Please select which records must be used by Authenticus!
×
Preview Publications
© 2024 CRACS & Inesc TEC - All Rights Reserved
Privacy Policy
|
Terms of Service