Package owl

Class Bibliography

java.lang.Object

owl.Bibliography

public class Bibliography
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	Bibliography.Publication

Field Summary

Fields

Modifier and Type	Field	Description
static Bibliography.Publication	ATVA_18
static String	ATVA_18_CITEKEY
static Bibliography.Publication	ATVA_19
static String	ATVA_19_CITEKEY
static Bibliography.Publication	CAV_16
static String	CAV_16_CITEKEY
static Bibliography.Publication	CAV_18
static String	CAV_18_CITEKEY
static Bibliography.Publication	DISSERTATION_19
static String	DISSERTATION_19_CITEKEY
static Bibliography.Publication	FMSD_16
static String	FMSD_16_CITEKEY
static Bibliography.Publication	FSTTCS_10
static String	FSTTCS_10_CITEKEY
static Bibliography.Publication	GANDALF_17
static String	GANDALF_17_CITEKEY
static Bibliography.Publication	ICALP_19_1
static String	ICALP_19_1_CITEKEY
static Bibliography.Publication	ICALP_19_2
static String	ICALP_19_2_CITEKEY
static Bibliography.Publication	ICALP_21
static String	ICALP_21_CITEKEY
static Map<String,Bibliography.Publication>	INDEX
static Bibliography.Publication	JACM_20
static String	JACM_20_CITEKEY
static Bibliography.Publication	JACM_95
static String	JACM_95_CITEKEY
static Bibliography.Publication	LICS_18
static String	LICS_18_CITEKEY
static Bibliography.Publication	LICS_20
static String	LICS_20_CITEKEY
static Bibliography.Publication	TACAS_17_1
static String	TACAS_17_1_CITEKEY
static Bibliography.Publication	TACAS_17_2
static String	TACAS_17_2_CITEKEY
static Bibliography.Publication	UNDER_SUBMISSION_21
static String	UNDER_SUBMISSION_21_CITEKEY
static Bibliography.Publication	UNDER_SUBMISSION_22
static String	UNDER_SUBMISSION_22_CITEKEY

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

JACM_95_CITEKEY

public static final String JACM_95_CITEKEY

See Also:

Constant Field Values

JACM_95

public static final Bibliography.Publication JACM_95

FSTTCS_10_CITEKEY

public static final String FSTTCS_10_CITEKEY

See Also:

Constant Field Values

FSTTCS_10

public static final Bibliography.Publication FSTTCS_10

CAV_16_CITEKEY

public static final String CAV_16_CITEKEY

See Also:

Constant Field Values

CAV_16

public static final Bibliography.Publication CAV_16

FMSD_16_CITEKEY

public static final String FMSD_16_CITEKEY

See Also:

Constant Field Values

FMSD_16

public static final Bibliography.Publication FMSD_16

GANDALF_17_CITEKEY

public static final String GANDALF_17_CITEKEY

See Also:

Constant Field Values

GANDALF_17

public static final Bibliography.Publication GANDALF_17

TACAS_17_1_CITEKEY

public static final String TACAS_17_1_CITEKEY

See Also:

Constant Field Values

TACAS_17_1

public static final Bibliography.Publication TACAS_17_1

TACAS_17_2_CITEKEY

public static final String TACAS_17_2_CITEKEY

See Also:

Constant Field Values

TACAS_17_2

public static final Bibliography.Publication TACAS_17_2

ATVA_18_CITEKEY

public static final String ATVA_18_CITEKEY

See Also:

Constant Field Values

ATVA_18

public static final Bibliography.Publication ATVA_18

CAV_18_CITEKEY

public static final String CAV_18_CITEKEY

See Also:

Constant Field Values

CAV_18

public static final Bibliography.Publication CAV_18

LICS_18_CITEKEY

public static final String LICS_18_CITEKEY

See Also:

Constant Field Values

LICS_18

public static final Bibliography.Publication LICS_18

ATVA_19_CITEKEY

public static final String ATVA_19_CITEKEY

See Also:

Constant Field Values

ATVA_19

public static final Bibliography.Publication ATVA_19

DISSERTATION_19_CITEKEY

public static final String DISSERTATION_19_CITEKEY

See Also:

Constant Field Values

DISSERTATION_19

public static final Bibliography.Publication DISSERTATION_19

ICALP_19_1_CITEKEY

public static final String ICALP_19_1_CITEKEY

See Also:

Constant Field Values

ICALP_19_1

public static final Bibliography.Publication ICALP_19_1

ICALP_19_2_CITEKEY

public static final String ICALP_19_2_CITEKEY

See Also:

Constant Field Values

ICALP_19_2

public static final Bibliography.Publication ICALP_19_2

LICS_20_CITEKEY

public static final String LICS_20_CITEKEY

See Also:

Constant Field Values

LICS_20

public static final Bibliography.Publication LICS_20

JACM_20_CITEKEY

public static final String JACM_20_CITEKEY

See Also:

Constant Field Values

JACM_20

public static final Bibliography.Publication JACM_20

ICALP_21_CITEKEY

public static final String ICALP_21_CITEKEY

See Also:

Constant Field Values

ICALP_21

public static final Bibliography.Publication ICALP_21

UNDER_SUBMISSION_21_CITEKEY

public static final String UNDER_SUBMISSION_21_CITEKEY

See Also:

Constant Field Values

UNDER_SUBMISSION_21

public static final Bibliography.Publication UNDER_SUBMISSION_21

UNDER_SUBMISSION_22_CITEKEY

public static final String UNDER_SUBMISSION_22_CITEKEY

See Also:

Constant Field Values

UNDER_SUBMISSION_22

public static final Bibliography.Publication UNDER_SUBMISSION_22

INDEX

public static final Map<String,Bibliography.Publication> INDEX