Cover Image

Model checking and artificial intelligence : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised selected and invited papers /

Bibliographic Details
Corporate Author: MoChArt 2010 Atlanta, Ga.
Other Authors: Smaus, Jan-Georg, Van der Meyden, Ron, 1960-
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; Heidelberg ; New York : Springer, [2011]
Series:LNCS sublibrary. Artificial intelligence.
Lecture notes in computer science.
Lecture notes in computer science. Lecture notes in artificial intelligence ; 6572.
Subjects:
Artificial intelligence > Congresses.
Computer software > Verification > Congresses.
Electronic books.
Online Access:Connect to the full text of this electronic book
Description
Item Description:Electronic resource.
Physical Description:1 online resource.
Bibliography:Includes bibliographical references and author index.
ISBN:3642206743 (electronic bk.)
9783642206740 (electronic bk.)
DOI:10.1007/978-3-642-20674-0