2019-08-23 16:06 |
Formal Methods in System Design, 35, 4-5 (2009)
2009 |
Journal Articles |
Notice détaillée - Notices similaires
|
2015-04-13 14:41 |
Journal Of The Acm, 62 (1), 9 (2015)
2015 |
Journal Articles |
Notice détaillée - Notices similaires
|
2014-06-16 08:02 |
Acta Informatica, 51 (3-4), 193-220 (2014)
2014 |
Journal Articles |
Notice détaillée - Notices similaires
|
2013-04-19 18:10 |
Logic for Programming, Artificial Intelligence, and Reasoning, 6355, 103-118 (2010)
2010 |
Conference Papers |
Notice détaillée - Notices similaires
|
2012-07-04 09:27 |
Acm Sigplan Notices, 42, 300-309 (2007)
2007 |
Conference Papers |
Notice détaillée - Notices similaires
|
2012-06-12 11:18 |
Formal Methods In System Design, 39, 297-331 (2011)
2011 |
Journal Articles |
Notice détaillée - Notices similaires
|
2012-03-01 18:05 |
Journal Of Computer And System Sciences, 78, 394-413 (2012)
2012 |
Journal Articles |
Notice détaillée - Notices similaires
|
2011-12-16 15:00 |
Acm Sigplan Notices, 45, 249-260 (2010)
2010 |
Conference Papers |
Notice détaillée - Notices similaires
|
2011-12-16 15:00 |
Distributed Computing, 22, 129-145 (2010)
2010 |
Journal Articles |
Notice détaillée - Notices similaires
|
2011-12-16 15:00 |
Information And Computation, 208, 677-693 (2010)
2010 |
Conference Papers |
Notice détaillée - Notices similaires
|
|
|