Вы здесь

Главная

model checking

Связанные издания:

Bounded Model Checking of Pointer Programs
Branching Time Semantics for UML 2.0 Sequence Diagrams
Check It Out: On the Efficient Formal Verification of Live Sequence Charts
Combined Logics of Knowledge, Time, and Actions for Reasoning about Multi-Agent Systems
Common Knowledge in Well-structured Perfect Recall Systems
Compiler Construction: Proc./21st International Conference, CC 2012 Held as Part of the European Joint Conferences ETAPS 2012, Tallinn, Estonia, March 2012
Complexity of Compositional Model Checking of Computation Tree Logic on Simple Structures
Component-Based Software Engineering: Proc./13th International Symposium, CBSE 2010, Prague, Czech Republic, June 2010
Compositional and Quantitative Model Checking (Extended Abstract)
Computational logic in Multi-Agent Systems: Proc./15th International Workshop, CLIMA XV, Prague, Czech Republic, August 2014
Computational Methods in Systems Biology: Proc./10th International Conference, CMSB 2012, London, UK, October 2012
Computational Methods in Systems Biology: Proc./13th International Conference, CMSB 2015, Nantes, France, September 2015
Computational Methods in Systems Biology: Proc./17th International Conference, CMSB 2019, Trieste, Italy, September 2019
Computational Methods in Systems Biology: Proc./7th International Conference, CMSB 2009, Bologna, Italy, August/September 2009
Computational Methods in Systems Biology: Proc./International Conference, CMSB 2006. Trento, Italy, October 2006
Computational Science and Its Applications - ICCSA 2013, Part I: Proc./13th International Conference, Ho Chi Min City, Vietnam, June 2013
Computational Science and Its Applications - ICCSA 2014, Part I: Proc./14th International Conference, Guimaraes, Portugal, June 2014
Computational Science and Its Applications - ICCSA 2017, Part VI: Proc./17th International Conference, Trieste, Italy, July 2017
Computational Science and Its Applications - ICCSA 2017, Part V: Proc./17th International Conference, Trieste, Italy, July 2017
Computer Aided Verification, Part II: Proc./31st International Conference, CAV 2019, New York City,NY,USA, July 2019
Computer Aided Verification, Part II: Proc./33rd International Conference, CAV 2021, Virtual Event, July 2021
Computer Aided Verification, Part I: Proc./27th International Conference, CAV 2015, San Francisco,CA,USA, July 2015
Computer Aided Verification, Part I: Proc./28th International Conference, CAV 2016, Toronto,ON,Canada, July 2016
Computer Aided Verification, Part I: Proc./29th International Conference, CAV 2017, Heidelberg, Germany, July 2017
Computer Aided Verification, Part I: Proc./30th International Conference, CAV 2018 Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 2018
Computer Aided Verification, Part I: Proc./31st International Conference, CAV 2019, New York City,NY,USA, July 2019
Computer Aided Verification, Part I: Proc./32nd International Conference, CAV 2020. Los Angeles,CA,USA, July 2020
Computer Aided Verification, Part I: Proc./33rd International Conference, CAV 2021, Virtual Event, July 2021
Computer Aided Verification: Proc./17th International Conference, CAV 2005. Edinburgh, Scotland, UK, July 2005
Computer Aided Verification: Proc./18th International Conference, CAV 2006. Seattle, WA, USA, August 2006
Computer Aided Verification: Proc./19th International Conference, CAV 2007. Berlin, Germany, July 2007
Computer Aided Verification: Proc./20th International Conference, CAV 2008. Princeton, NJ, USA, July 2008
Computer Aided Verification: Proc./21st International Conference, CAV 2009, Grenoble, France, June/Jule 2009
Computer Aided Verification: Proc./24th International Conference, CAV 2012, Berkeley,CA,USA, July 2012
Computer Aided Verification: Proc./25th International Conference, CAV 2013, Saint Petersburg, Russia, July 2013
Computer Aided Verification: Proc./26th International Conference, CAV 2014 Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Italy, July 2014
Computer Aided Verifications: Proc./ 23rd International Conference, CAV 2011, Snowbird,UT,USA, July 2011
Computer Performance Engineering: Proc./11th European Workshop, EPEW 2014, Florence, Italy, September 2014
Computer Performance Engineering: Proc./7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 2010
Computer Science Logic: Proc./20th Intl WS CSL 2006, 15th Annual Conference of the EACSL. Szeged, Hungary, September 2006
Computer Science Logic: Proc./23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 2009
Computer Science - Theory and Applications: Proc./11th International Computer Science Symposium in Russia, CSR 2016, St.Petersburg, Russia, June 2016
Computer Science - Theory and Applications: Proc./12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 2017
Computing and Software Science: State of the Art and Perspectives
CONCUR 2005 - Concurrency Theory: Proc./16th International Conference, CONCUR 2005. San Francisco, CA, USA, August 2005
CONCUR 2008 - Concurrency Theory: Proc./19th International Conference, CONCUR 2008. Toronto, Canada, August 2008
CONCUR 2009 - Concurrency Theory: Proc./20th International Conference, CONCUR 2009, Bologna, Italy, September 2009
CONCUR 2010 - Concurrency Theory: Proc./21st International Conference, CONCUR 2010, Paris, France, August/September 2010
CONCUR 2011 - Concurrency Theory: Proc./22nd International Conference, CONCUR 2011, Aachen,Germany, September 2011
CONCUR 2013 - Concurrency Theory: Proc./24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 2013