NASA formal methods. 4th international symposium, NFM 2012, Norfolk, VA, USA, April 3--5, 2012. Proceedings

From MaRDI portal

Revision as of 21:44, 2 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:2428038

Jump to:navigation, search

DOI10.1007/978-3-642-28891-3zbMath1239.68009OpenAlexW2481217403MaRDI QIDQ2428038

No author found.

Publication date: 20 April 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-28891-3

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theory of computing (68Qxx) Theory of software (68Nxx)

Related Items (2)

CTL update of Kripke models through protections ⋮ The scope and limits of simulation in automated reasoning

This page was built for publication: NASA formal methods. 4th international symposium, NFM 2012, Norfolk, VA, USA, April 3--5, 2012. Proceedings

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2428038&oldid=15093797"