Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Model Checking and Artificial Intelligence (MoChArt)

> Home > Conferences and Workshops

Venue statistics

records by year

document access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

frequent authors

6th MoChArt 2010: Atlanta, GA, USA

- view
  authority control:
- export record
  dblp key:
  - conf/mochart/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mochart/2010
Ron van der Meyden, Jan-Georg Smaus:
Model Checking and Artificial Intelligence - 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers. Lecture Notes in Computer Science 6572, Springer 2011, ISBN 978-3-642-20673-3 [contents]

5th MoChArt 2008: Patras, Greece

- view
  authority control:
- export record
  dblp key:
  - conf/mochart/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mochart/2008
Doron A. Peled, Michael J. Wooldridge:
Model Checking and Artificial Intelligence, 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers. Lecture Notes in Computer Science 5348, Springer 2009, ISBN 978-3-642-00430-8 [contents]

4th MoChArt 2006: Riva del Garda, Italy

- view
  authority control:
- export record
  dblp key:
  - conf/mochart/2006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mochart/2006
Stefan Edelkamp, Alessio Lomuscio:
Model Checking and Artificial Intelligence, 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers. Lecture Notes in Computer Science 4428, Springer 2007, ISBN 978-3-540-74127-5 [contents]

3rd MoChArt@CONCUR/SPIN 2005: San Francisco, CA, USA

- view
- export record
  dblp key:
  - conf/mochart/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mochart/2005
Charles Pecheur, Brian Williams:
Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, MoChArt@CONCUR/SPIN 2005, San Francisco, CA, USA, August 27, 2005. Electronic Notes in Theoretical Computer Science 149(2), Elsevier 2006 [contents]

2nd MoChArt@IJCAI 2003: Acapulco, Mexico

1st MoChArt@ECAI 2002: Lyon, France

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.