Event Beta

Formal Methods in Computer-Aided Design 1998

Name: Formal Methods in Computer-Aided Design 1998
Start: 1998-11-04
End: 1998-11-06
Location: Palo Alto

FMCAD 1998FMCAD

Date: 1998-11-04/06
Place: Palo Alto, United States on the map
Series: Formal Methods in Computer-Aided Design
Edition: 2
Attendance: on site
Status: as scheduled
Website: https://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD98/index.html
Academic field: Natural sciences: Computer and information sciences
Disciplines: computer hardware, computer science, computer-aided design, formal methods
Identifier: https://id.confref.org/event/e103beh

Proceedings

Title	DOI	Year	Record
Formal Methods in Computer-Aided Design LNCS 1522	10.1007/3-540-49519-3	1998	Springer
Formal Methods in Computer-Aided Design, Second International Conference, FMCAD '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings Lecture Notes in Computer Science 1522	10.1007/3-540-49519-3	1998	dblp

start date: confident: 1998-11-04; springer-lod: 1998-11-04; wikidata: 1998-11-04; confref-portal: 1998-01-01

The facts above are taken from the source first in precedence (ConfIDent, Springer, dblp, Wikidata, the portal, the GND).

The records of the sources that this identifier brings together (cr:sameAs).

Springer LOD (2018)	`http://lod.springer.com/data/conference/fmcad1998`
confref portal (2020)	`https://id.confref.org/data/confref-portal/event/fmcad1998` · page
ConfIDent	`https://id.confref.org/data/confident/31156` · page
Wikidata	`http://www.wikidata.org/entity/Q106243593`
dblp	`https://dblp.org/db/conf/fmcad/fmcad1998`
GND	`https://d-nb.info/gnd/2172862-8`

Formal Methods in Computer-Aided Design 1998. confref identifier e103beh. https://id.confref.org/event/e103beh

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.