MTC - Laboratoire de modèles et théorie de calculs

Derniers ajouts:
2015-04-13
14:41

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
2011-12-16
15:00
Formal Methods In System Design, 36, 114-130 (2010)
2010 | Journal Articles |

Notice détaillée - Notices similaires