Marieke Huisman, Kerry Trentelman. Factorising Temporal Specifications. In Mike D. Atkinson, Frank K. H. A. Dehne, editors, Theory of Computing 2005, Eleventh CATS 2005, Computing: The Australasian Theory Symposium, Newcastle, NSW, Australia, January/February 2005. Volume 41 of CRPIT, pages 87-96, Australian Computer Society, 2005. [doi]
@inproceedings{HuismanT05, title = {Factorising Temporal Specifications}, author = {Marieke Huisman and Kerry Trentelman}, year = {2005}, url = {http://crpit.com/confpapers/CRPITV41Huisman.pdf}, researchr = {https://researchr.org/publication/HuismanT05}, cites = {0}, citedby = {0}, pages = {87-96}, booktitle = {Theory of Computing 2005, Eleventh CATS 2005, Computing: The Australasian Theory Symposium, Newcastle, NSW, Australia, January/February 2005}, editor = {Mike D. Atkinson and Frank K. H. A. Dehne}, volume = {41}, series = {CRPIT}, publisher = {Australian Computer Society}, isbn = {1-920682-23-6}, }