Event Beta

International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z

Name: International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z
Start: 2014-06-02
End: 2014-06-06
Location: Toulouse

ABZ

Date: 2014-06-02/06
Place: Toulouse, France on the map
Series: International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z
Edition: 4
Academic field: Natural sciences: Computer and information sciences
Identifier: https://id.confref.org/event/e1002a8

Proceedings

Title	DOI	Year	Record
ABZ 2014: The Landing Gear Case Study CCIS 433	10.1007/978-3-319-07512-9	2014	Springer
Abstract State Machines, Alloy, B, TLA, VDM, and Z LNCS 8477	10.1007/978-3-662-43652-3	2014	Springer

Sources

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

Springer LOD (2018)	`http://lod.springer.com/data/conference/abz2014`
GND	`https://d-nb.info/gnd/1052422470`

Cite

International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z. confref identifier e1002a8. https://id.confref.org/event/e1002a8

Data: Turtle · JSON-LD · N-Triples · RDF/XML

APIs · SPARQL · About the identifiers

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