Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Mousavi, Mohammad Reza"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Symmetry and partial order reduction techniques in model checking Rebeca
Mohammad Mahdi Jaghoori
,
Marjan Sirjani
,
Mohammad Reza Mousavi
,
Ehsan Khamespanah
,
Ali Movaghar
Acta Informatica
47
(1), 2011, pp. 33-66
Notions of bisimulation and congruence formats for SOS with data
Mohammad Reza Mousavi
,
Michel A. Reniers
,
Jan Friso Groote
Information and Computation
200
(1), 2005, pp. 107-147