Subgraph-avoiding minimum decycling sets and k-conversion sets in graphs.

M. D. Francis

M. D. Francis Christina M. Mynhardt Jane L. Wodlinger Subgraph-avoiding minimum decycling sets and k-conversion sets in graphs. 288-304 2019 74 Australas. J Comb. http://ajc.maths.uq.edu.au/pdf/74/ajc_v74_p288.pdf db/journals/ajc/ajc74.html#FrancisMW19

Gerry Musgrave Simon Finn M. D. Francis R. Harris Roger B. Hughes Formal Methods and Their Future. 180-189 1993 conf/eurocast/1993 EUROCAST db/conf/eurocast/eurocast1993.html#MusgraveFFHH93 https://doi.org/10.1007/3-540-57601-0_49 Roger B. Hughes M. D. Francis Simon Finn Gerry Musgrave Formal Tools in Tri-State Design in Busses. 459-475 1992 conf/tphol/1992 TPHOLs db/conf/tphol/tphol92.html#HughesFFM92

Eleanor M. Mayger M. D. Francis R. L. Harris Gerry Musgrave Michael P. Fourman The need for a core method DIALOG - Linking formal proof to the design environment. 667-673 1991 32 Microprocessing and Microprogramming 1-5 https://doi.org/10.1016/0165-6074(91)90419-T db/journals/jsa/jsa32.html#MaygerFHMF91

Simon Finn Michael P. Fourman R. Harris R. L. Harris Roger B. Hughes Eleanor M. Mayger Gerry Musgrave Christina M. Mynhardt Jane WodlingerJane L. Wodlinger