Authors: SEGALA R GAWLICK R SOGAARDANDERSEN J LYNCH N

Citation: R. Segala et al., LIVENESS IN TIMED AND UNTIMED SYSTEMS, Information and computation, 141(2), 1998, pp. 119-171

Authors: SEGALA R

Citation: R. Segala, QUIESCENCE, FAIRNESS, TESTING, AND THE NOTION OF IMPLEMENTATION, Information and computation, 138(2), 1997, pp. 194-210

Authors: DENICOLA R SEGALA R

Citation: R. Denicola et R. Segala, A PROCESS ALGEBRAIC VIEW OF INPUT-OUTPUT AUTOMATA, Theoretical computer science, 138(2), 1995, pp. 391-423

Authors: DALLABERNARDINA B PEREZ A COLAMARIA V CAVALCANTE S GIARDINA L SEGALA R

Citation: B. Dallabernardina et al., EPILEPSY IN SCHIZENCEPHALY - ELECTROCLINICAL AND NEURORADIOLOGICAL STUDY OF 14 PATIENTS, Epilepsia, 36, 1995, pp. 236-236