MTC - Models and Theory of Computation Laboratory

Latest additions:
2015-04-13
14:41

Detailed record - Similar records
2014-06-16
08:02
Acta Informatica, 51 (3-4), 193-220 (2014)
2014 | Journal Articles |

Detailed record - Similar records
2013-04-19
18:10
Logic for Programming, Artificial Intelligence, and Reasoning, 6355, 103-118 (2010)
2010 | Conference Papers |

Detailed record - Similar records
2012-07-04
09:27
Acm Sigplan Notices, 42, 300-309 (2007)
2007 | Conference Papers |

Detailed record - Similar records
2012-06-12
11:18
Formal Methods In System Design, 39, 297-331 (2011)
2011 | Journal Articles |

Detailed record - Similar records
2012-03-01
18:05
Journal Of Computer And System Sciences, 78, 394-413 (2012)
2012 | Journal Articles |

Detailed record - Similar records
2011-12-16
15:00
Acm Sigplan Notices, 45, 249-260 (2010)
2010 | Conference Papers |

Detailed record - Similar records
2011-12-16
15:00
Distributed Computing, 22, 129-145 (2010)
2010 | Journal Articles |

Detailed record - Similar records
2011-12-16
15:00
Information And Computation, 208, 677-693 (2010)
2010 | Conference Papers |

Detailed record - Similar records
2011-12-16
15:00
Formal Methods In System Design, 36, 114-130 (2010)
2010 | Journal Articles |

Detailed record - Similar records