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
Improving the Visualization of Alloy Instances
AuthID
P-00Q-2QD
4
Author(s)
Couto, R
·
Campos, JC
·
Macedo, N
·
Cunha, A
3
Editor(s)
Masci,P;Prevosto,V;Monahan,R
Document Type
Proceedings Paper
Year published
2018
Published
in
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
in
EPTCS,
ISSN: 2075-2180
Volume: 284, Issue: 284, Pages: 37-52 (16)
Conference
4Th Workshop on Formal Integrated Development Environment (F-Ide) Held as a Satellite Workshop of Floc,
Date:
JUL 14, 2018,
Location:
Oxford, ENGLAND
Indexing
Wos
®
Scopus
®
Dblp
®
/en/publications/view/756461
Crossref
®
3
Arxiv
®
Google Scholar
®
Metadata
Sources
Publication Identifiers
DOI
:
10.4204/eptcs.284.4
Arxiv
: 1811.10817
Dblp
: journals/corr/abs-1811-10817
Scopus
: 2-s2.0-85060112656
Wos
: WOS:000465433300005
Source Identifiers
ISSN
: 2075-2180
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
Please select which records must be used by Authenticus!
×
Preview Publications
© 2024 CRACS & Inesc TEC - All Rights Reserved
Privacy Policy
|
Terms of Service