@phdthesis{Kri00,
title = {Applications des ordres partiels \`a la g\'en\'eration compositionelle de syst\`emes asynchrones },
author = {Krimm, Jean-Pierre},
month = {December},
year = {2000},
address = {Grenoble, France},
type = {Th\`ese de doctorat},
school = {Universit\'e Joseph Fourier},
team = {DCS},
}
