LARA - Laboratory for Automated Reasoning and Analysis

Latest additions:
2020-03-13
02:20
Formal Methods In System Design, 55 (2), 73-102 (2019)
01 December 2019 | Journal Articles |

Detailed record - Similar records
2020-03-03
11:00
Plos Computational Biology, 16 (1), e1007494 (2020)
01 January 2020 | Journal Articles |

Detailed record - Similar records
2019-09-06
02:21
Computing, 101 (9), 1227-1240 (2019)
01 September 2019 | Journal Articles |

Detailed record - Similar records
2019-08-14
08:24

Detailed record - Similar records
2019-06-18
11:47

Detailed record - Similar records
2019-01-10
09:30

Detailed record - Similar records
2018-06-28
12:47
Lecture Notes in Computer Science, 9207, 217-233 (2015)
14 July 2015 | Conference Papers |

Detailed record - Similar records
2018-06-28
12:44
Proceedings of the International Conference on Computer Aided Verification, 9207, 198-216 (2015)
14 July 2015 | Conference Papers |

Detailed record - Similar records
2018-06-28
12:39
Electronic Proceedings in Theoretical Computer Science, 229, 100-111 (2017)
03 May 2017 | Conference Papers |

Detailed record - Similar records
2018-06-28
12:31
Lecture Notes in Computer Science, 9706, 568-577 (2016)
12 June 2016 | Conference Papers |

Detailed record - Similar records