Les joueurs de loto Français choisissent-ils leurs numéros au hasard?ROGER, P; BROIHANNE, M.-H.Revue de statistique appliquée. 2006, Vol 54, Num 3, pp 83-98, issn 0035-175X, 16 p.Article

La Soka Gakkai in Europa : Nichiren Daishonin e il suo insegnamento = The Soka Gakkaï in EuropeCAUSTON, R.Critica sociologica. 1994, Num 111-12, pp 148-154, issn 0011-1546Article

LE PROBLEME DU LOTOSTERBOUL F.1978; CAH. CENTRE ET. RECH. OPERAT.; BEL; DA. 1978; VOL. 20; NO 3-4; PP. 443-449; BIBL. 16 REF.Article

The RT-LOTOS formal specification of the conditional delivery mechanismCOURTIAT, J.-P; DE OLIVEIRA, R. C; RUST DA COSTA CARMO, L. F et al.Information systems (Oxford). 1995, Vol 20, Num 6, pp 521-535, issn 0306-4379Article

An introduction to ET-LOTOS for the description of time-sensitive systemsLEONARD, L; LEDUC, G.Computer networks and ISDN systems. 1997, Vol 29, Num 3, pp 271-292, issn 0169-7552Article

LOTOS extended with probabilistic behavioursMIGUEL, C; FERNANDEZ, A; VIDALLER, L et al.Formal aspects of computing. 1993, Vol 5, Num 3, pp 253-281, issn 0934-5043Article

TIC: a TImed calculusQUEMADA, J; DE FRUTOS, D; AZCORRA, A et al.Formal aspects of computing. 1993, Vol 5, Num 3, pp 224-252, issn 0934-5043Article

Test generation for radiotherapy acceleratorsTURNER, Kenneth J.International journal on software tools for technology transfer (Print). 2005, Vol 7, Num 4, pp 361-375, issn 1433-2779, 15 p.Article

On combining functional verification and performance evaluation using CADPGARAVEL, Hubert; HERMANNS, Holger.Lecture notes in computer science. 2002, pp 410-429, issn 0302-9743, isbn 3-540-43928-5, 20 p.Conference Paper

Concurrency model for distributed systemsKIM, M; CHANSON, S. T; VUONG, S. T et al.Journal of parallel and distributed computing (Print). 1999, Vol 59, Num 3, pp 445-464, issn 0743-7315Article

A framework for evaluating specification methods for reactive systems experience reportARDIS, M. A; CHAVES, J. A; JATEGAONKAR JAGADEESAN, L et al.IEEE transactions on software engineering. 1996, Vol 22, Num 6, pp 378-389, issn 0098-5589Conference Paper

Lotos et loteriesDELAHAYE, Jean-Paul.Pour la science. 2006, Num 344, pp 90-95, issn 0153-4092, 6 p.Article

An adequate logic for full LOTOSCALDER, Muffy; MAHARAJ, Savi; SHANKLAND, Carron et al.Lecture notes in computer science. 2001, pp 384-395, issn 0302-9743, isbn 3-540-41791-5Conference Paper

Deriving protocol specifications from service specifications written in LOTOSKANT, C; HIGASHINO, T; V. BOCHMANN, G et al.Distributed computing. 1996, Vol 10, Num 1, pp 29-47, issn 0178-2770Article

ON THE LOTTO PROBLEM = SUR LE PROBLEME DU LOTODROESBEKE F; LOREA M.1982; EUR. J. OPER. RES.; ISSN 0377-2217; NLD; DA. 1982; VOL. 11; NO 1; PP. 21-25; BIBL. 9 REF.Article

DER CHI-QUADRAT-TEST FUER PRUEFUNG DER GLEICHWAHRSCHEINLICHKEIT DER LOTTO-ZAHLEN = LE TEST DU CHI-DEUX POUR L'HYPOTHESE D'EQUIPROBABILITE DES NOMBRES AU LOTOMORGENSTERN D.1979; MATH.-PHYS. SEMESTERBER.; DEU; DA. 1979; VOL. 26; NO 1; PP. 36-39Article

CONTRIBUTION A LA DEFINITION ET A L'IMPLEMENTATION DU LANGAGE EXTENDED LOTOS = CONTRIBUTION TO THE DEFINITION AND IMPLEMENTATION OF THE LANGUAGE EXTENDED LOTOSSighireanu, Mihaela; Garavel, Hubert.1999, 378 p.Thesis

Viewpoints and consistency : translating LOTOS to Object-ZDERRICK, J; BOITEN, E; BOWMAN, H et al.Computer standards & interfaces. 1999, Vol 21, Num 3, pp 251-272, issn 0920-5489Article

Partial order models for quantitative extensions of LOTOS : Trends in formal description techniquesBRINKSMA, E; KATOEN, J.-P; LANGERAK, R et al.Computer networks and ISDN systems. 1998, Vol 30, Num 9-10, pp 925-950, issn 0169-7552Article

Les transformations LOTOMATON: une contribution à la pré-implémentation des systèmes LOTOS = The LOTOMATON Transformations: A Contribution to the Pre-implementation of LOTOS SystemsLakas, Abderrahmane; Girault, C.1996, 193 p.Thesis

Process algebra in the specification of graphics standardsREADE, C.Computer standards & interfaces. 1995, Vol 17, Num 3, pp 277-290, issn 0920-5489Article

Conception et réalisation d'un outil de vérification pour le langage LOTOS sous CONCERTO = Design and development of a verification tool for the LOTOS language on CONCERTOFouchal, Hacène; Cavalli, A.1995, 150 p.Thesis

The reconfiguring selfMAGEO, J. M.American anthropologist. 1995, Vol 97, Num 2, pp 282-296, issn 0002-7294Article

A language for describing wireless mobile applications with dynamic establishment of multi-way synchronization channelsUMEDU, Takaaki; TERASHIMA, Yoshiki; YASUMOTO, Keiichi et al.Lecture notes in computer science. 2002, pp 607-624, issn 0302-9743, isbn 3-540-43928-5, 18 p.Conference Paper

IL-22 : A critical mediator in mucosal host defenseAUJLA, S. J; KOLLS, J. K.Journal of molecular medicine (Berlin. Print). 2009, Vol 87, Num 5, pp 451-454, issn 0946-2716, 4 p.Article