Event Beta

Formal Methods in Computer-Aided Design 2000

Name: Formal Methods in Computer-Aided Design 2000
Start: 2000-11-01
End: 2000-11-03
Location: Austin

FMCAD 2000FMCAD

Date: 2000-11-01/03
Place: Austin, United States on the map
Series: Formal Methods in Computer-Aided Design
Edition: 3
Attendance: on site
Status: as scheduled
Website: https://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD00/PublicDirectory/index.html
Academic field: Natural sciences: Computer and information sciences
Disciplines: computer hardware, computer science, formal methods
Identifier: https://id.confref.org/event/e103bff

Proceedings

Title	DOI	Year	Record
Formal Methods in Computer-Aided Design LNCS 1954	10.1007/3-540-40922-x	2000	Springer
Formal Methods in Computer-Aided Design, Third International Conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings Lecture Notes in Computer Science 1954	10.1007/3-540-40922-x	2000	dblp

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

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

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

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