Search results for: Ramtin Khosravi
Acta Informatica > 2019 > 56 > 2 > 161-203
Science of Computer Programming > 2018 > 153 > C > 1-29
Formal Aspects of Computing > 2017 > 29 > 6 > 1051-1086
Lecture Notes in Computer Science > Software Engineering and Formal Methods > Regular Papers > 334-349
Science of Computer Programming > 2015 > 113 > P2 > 85-118
Software & Systems Modeling > 2015 > 14 > 1 > 149-172
Science of Computer Programming > 2014 > 83 > Complete > 35-55
Information Processing Letters > 2008 > 105 > 3 > 108-113
Theoretical Computer Science > 2007 > 389 > 1-2 > 1-11
Information Processing Letters > 2004 > 91 > 4 > 171-176