Category:Bibtex
From Termination-Portal.org
Jump to navigationJump to searchBelow is a list of references for publications on termination analysis and related areas.
To make this list more useful, please consider adding useful references: <createarticle>
type=createarticle prefix=Bibtex: preload=Template:AddReference default=Identifier buttonlabel=Create Reference align=left
</createarticle>
Pages in category "Bibtex"
The following 37 pages are in this category, out of 37 total.
- Bibtex:AGL06
- Bibtex:AGL07
- Bibtex:AL07
- Bibtex:AProVE14
- Bibtex:BN98
- Bibtex:Buendgen98
- Bibtex:CoLoR06
- Bibtex:CoLoR09
- Bibtex:CoLoR11
- Bibtex:Contejean07
- Bibtex:DLM08
- Bibtex:DLMMU04
- Bibtex:DLMMU08
- Bibtex:Drosten89
- Bibtex:FGMSTZ07
- Bibtex:FNOGLS08
- Bibtex:Giesl04
- Bibtex:GLU08
- Bibtex:GSST06
- Bibtex:GST06
- Bibtex:KSZM09
- Bibtex:Kurth90
- Bibtex:LM08
- Bibtex:Luc04
- Bibtex:Luc06
- Bibtex:Luc07
- Bibtex:MORV05
- Bibtex:Ohlebusch01
- Bibtex:Ohlebusch02
- Bibtex:Oppelt08
- Bibtex:RZ09
- Bibtex:SG09
- Bibtex:SGST06
- Bibtex:TeReSe03
- Bibtex:TS09
- Bibtex:VDS09
- Bibtex:VDS10
