%0 Conference Proceedings %F Lemaigat2000a %A Le Maigat, Pierre %A Hélouët, Loïc %T A (max,+) approach for time in message sequence charts %B Proceedings of the 5th Workshop on Discrete Event Systems %E Boel, R. %E Stremersch, G. %P 83-92 %I Kluwer Academic Publishers %C Ghent, Belgium %D 2000 %K msc %K maxplus