Vincenza Carchiolo, Alberto Faro, Orazio Mirabella, Giuseppe Pappalardo, Giuseppe Scollo. A LOTOS Specification of the PROWAY Highway Service. IEEE Transactions on Computers, 35(11):949-968, 1986.
@article{CarchioloFMPS86, title = {A LOTOS Specification of the PROWAY Highway Service}, author = {Vincenza Carchiolo and Alberto Faro and Orazio Mirabella and Giuseppe Pappalardo and Giuseppe Scollo}, year = {1986}, researchr = {https://researchr.org/publication/CarchioloFMPS86}, cites = {0}, citedby = {0}, journal = {IEEE Transactions on Computers}, volume = {35}, number = {11}, pages = {949-968}, }