Contact and support
Need help, have a question, or want to contact the ResearchHub team?
© 2026 ResearchHub. Built for responsible scholarly connection.
Privacy-aware community infrastructureResearch graph
References from A survey on temporal logics for specifying and verifying real-time systems. Local targets link to admitted publications; unresolved targets remain external evidence.
10.1145/349194.349197
10.1145/349194.349197 · 2000 · External reference
10.1109/lics.1990.113764
10.1109/lics.1990.113764 · External reference
10.1016/0164-1212(92)90045-l
10.1016/0164-1212(92)90045-l · 1992 · External reference
10.1007/978-0-585-37463-5
10.1007/978-0-585-37463-5 · 1995 · External reference
Unresolved reference
2004 · External reference
10.1007/978-3-662-06784-0
10.1007/978-3-662-06784-0 · 2004 · External reference
10.3166/jancl.14.9-54
10.3166/jancl.14.9-54 · 2004 · External reference
10.1016/j.tcs.2005.01.017
10.1016/j.tcs.2005.01.017 · 2005 · External reference
Unresolved reference
1998 · External reference
Unresolved reference
1994 · External reference
10.1109/tcom.1982.1095451
10.1109/tcom.1982.1095451 · 1982 · External reference
10.1145/800221.806720
10.1145/800221.806720 · 1983 · External reference
Unresolved reference
1983 · External reference
Unresolved reference
1987 · External reference
10.1007/3-540-51803-7_29
10.1007/3-540-51803-7_29 · 1989 · External reference
10.1145/75309.75311
10.1145/75309.75311 · 1989 · External reference
10.1145/115234.115351
10.1145/115234.115351 · 1991 · External reference
10.1145/182.358434
10.1145/182.358434 · 1983 · External reference
10.1093/logcom/1.4.453
10.1093/logcom/1.4.453 · 1991 · External reference
10.1007/978-94-015-7947-6
10.1007/978-94-015-7947-6 · 1991 · External reference
Unresolved reference
2002 · External reference
Unresolved reference
2005 · External reference
Unresolved reference
1947 · External reference
10.1007/978-3-642-65387-2_23
10.1007/978-3-642-65387-2_23 · 1972 · External reference
10.1007/bf00258426
10.1007/bf00258426 · 1979 · External reference
10.1007/978-94-009-9473-7
10.1007/978-94-009-9473-7 · 1979 · External reference
Unresolved reference
1979 · External reference
10.1007/bf00262866
10.1007/bf00262866 · 1980 · External reference
10.1305/ndjfl/1093870150
10.1305/ndjfl/1093870150 · 1982 · External reference
10.1007/978-94-010-9868-7
10.1007/978-94-010-9868-7 · 1983 · External reference
Unresolved reference
1984 · External reference
Unresolved reference
1987 · External reference
10.1016/0004-3702(84)90008-0
10.1016/0004-3702(84)90008-0 · 1984 · External reference
10.1111/j.1467-8640.1989.tb00329.x
10.1111/j.1467-8640.1989.tb00329.x · External reference
10.1093/logcom/4.5.531
10.1093/logcom/4.5.531 · 1994 · External reference
10.1016/0004-3702(90)90053-3
10.1016/0004-3702(90)90053-3 · 1990 · External reference
10.1007/11817963_25
10.1007/11817963_25 · 2006 · External reference
10.1109/sfcs.1978.2
10.1109/sfcs.1978.2 · External reference
10.1145/567752.567761
10.1145/567752.567761 · 1979 · External reference
10.1016/0022-0000(82)90003-4
10.1016/0022-0000(82)90003-4 · 1982 · External reference
10.1007/bfb0036915
10.1007/bfb0036915 · 1983 · External reference
10.1007/bfb0013976
10.1007/bfb0013976 · 1994 · External reference
Unresolved reference
1957 · External reference
10.1093/acprof:oso/9780198243113.001.0001
10.1093/acprof:oso/9780198243113.001.0001 · 1967 · External reference
Unresolved reference
1968 · External reference
Unresolved reference
1968 · External reference
Unresolved reference
1977 · External reference
Unresolved reference
1995 · External reference
Unresolved reference
1980 · External reference
10.1145/3828.3837
10.1145/3828.3837 · 1985 · External reference
Unresolved reference
1991 · External reference
10.1145/371282.371311
10.1145/371282.371311 · 2001 · External reference
10.1007/3-540-15648-8_16
10.1007/3-540-15648-8_16 · 1985 · External reference
10.1093/jigpal/8.1.55
10.1093/jigpal/8.1.55 · 2000 · External reference
10.1016/s0022-0000(03)00005-9
10.1016/s0022-0000(03)00005-9 · 2003 · External reference
10.1016/j.ic.2006.08.006
10.1016/j.ic.2006.08.006 · 2007 · External reference
10.1016/j.apal.2010.01.002
10.1016/j.apal.2010.01.002 · 2010 · External reference
10.1207/s15516709cog0602_1
10.1207/s15516709cog0602_1 · 1982 · External reference
Unresolved reference
1993 · External reference
Unresolved reference
1980 · External reference
10.1145/567532.567551
10.1145/567532.567551 · 1981 · External reference
10.1007/bfb0025774
10.1007/bfb0025774 · 1982 · External reference
10.1145/4904.4999
10.1145/4904.4999 · 1986 · External reference
10.1016/0304-3975(95)00035-u
10.1016/0304-3975(95)00035-u · 1995 · External reference
Unresolved reference
2000 · External reference
Unresolved reference
1982 · External reference
10.1007/bfb0013022
10.1007/bfb0013022 · 1989 · External reference
10.1016/0167-6423(83)90017-5
10.1016/0167-6423(83)90017-5 · 1982 · External reference
10.1145/5397.5399
10.1145/5397.5399 · 1986 · External reference
Unresolved reference
1995 · External reference
10.1137/s0097539793304741
10.1137/s0097539793304741 · 2000 · External reference
10.2307/2695091
10.2307/2695091 · 2001 · External reference
10.1016/j.ic.2005.03.005
10.1016/j.ic.2005.03.005 · 2005 · External reference
10.1006/inco.1999.2817
10.1006/inco.1999.2817 · 2000 · External reference
10.1007/978-3-540-78499-9_14
10.1007/978-3-540-78499-9_14 · 2008 · External reference
10.1145/582153.582177
10.1145/582153.582177 · 1982 · External reference
10.1145/800222.806733
10.1145/800222.806733 · 1984 · External reference
Unresolved reference
1986 · External reference
10.3233/fi-1998-3611
10.3233/fi-1998-3611 · 1998 · External reference
10.1006/inco.1998.2778
10.1006/inco.1998.2778 · 1999 · External reference
Unresolved reference
2004 · External reference
Unresolved reference
2010 · External reference
Unresolved reference
1996 · External reference
10.1007/978-1-4615-5643-5_3
10.1007/978-1-4615-5643-5_3 · 1998 · External reference
10.1016/0304-3975(89)90138-2
10.1016/0304-3975(89)90138-2 · 1989 · External reference
Unresolved reference
1979 · External reference
10.1007/bf00370836
10.1007/bf00370836 · 1996 · External reference
10.1080/11663081.1992.10510779
10.1080/11663081.1992.10510779 · 1992 · External reference
10.1145/210197.210200
10.1145/210197.210200 · 1995 · External reference
10.1007/3-540-63385-5_47
10.1007/3-540-63385-5_47 · 1997 · External reference
10.1016/s0168-0072(01)00124-5
10.1016/s0168-0072(01)00124-5 · 2002 · External reference
10.1023/a:1004275029985
10.1023/a:1004275029985 · 1998 · External reference
10.2307/2586808
10.2307/2586808 · 1999 · External reference
10.1016/s0168-0072(00)00018-x
10.1016/s0168-0072(00)00018-x · 2000 · External reference
10.1007/978-3-642-59207-2
10.1007/978-3-642-59207-2 · 1997 · External reference
10.1007/3-540-45653-8_1
10.1007/3-540-45653-8_1 · 2001 · External reference
Unresolved reference
2002 · External reference
10.1023/a:1021352309671
10.1023/a:1021352309671 · 2002 · External reference
10.3233/fi-1999-39405
10.3233/fi-1999-39405 · 1999 · External reference
10.1023/a:1021308527417
10.1023/a:1021308527417 · 2002 · External reference
Unresolved reference
2008 · External reference
10.1007/bf00355298
10.1007/bf00355298 · 1992 · External reference
10.1007/bf01995674
10.1007/bf01995674 · 1990 · External reference
10.1145/174644.174651
10.1145/174644.174651 · 1994 · External reference
Unresolved reference
1991 · External reference
Unresolved reference
1996 · External reference
Unresolved reference
2010 · External reference
10.1007/978-3-540-85778-5_1
10.1007/978-3-540-85778-5_1 · 2008 · External reference
10.1109/lics.2005.33
10.1109/lics.2005.33 · 2005 · External reference
10.1145/227595.227602
10.1145/227595.227602 · 1996 · External reference
10.1007/bfb0055086
10.1007/bfb0055086 · 1998 · External reference
Unresolved reference
1998 · External reference
10.1145/1342991.1342994
10.1145/1342991.1342994 · 2008 · External reference
10.1007/11603009_2
10.1007/11603009_2 · 2005 · External reference
10.1007/978-3-540-70583-3_11
10.1007/978-3-540-70583-3_11 · 2008 · External reference
Unresolved reference
2005 · External reference
10.1007/bfb0031988
10.1007/bfb0031988 · 1992 · External reference
Unresolved reference
1990 · External reference
Unresolved reference
2004 · External reference
Unresolved reference
1991 · External reference
10.1007/s002360050136
10.1007/s002360050136 · 1998 · External reference
10.1007/978-3-642-12032-9_15
10.1007/978-3-642-12032-9_15 · 2010 · External reference
10.1109/tse.1986.6313045
10.1109/tse.1986.6313045 · 1986 · External reference
10.1109/32.368134
10.1109/32.368134 · 1994 · External reference
Unresolved reference
1988 · External reference
Unresolved reference
2006 · External reference
Unresolved reference
2007 · External reference
Unresolved reference
1987 · External reference
Unresolved reference
1989 · External reference
10.1109/lics.1990.113765
10.1109/lics.1990.113765 · 1990 · External reference
10.1109/32.54292
10.1109/32.54292 · 1990 · External reference
10.1016/0164-1212(90)90074-v
10.1016/0164-1212(90)90074-v · 1990 · External reference
Unresolved reference
1996 · External reference
Unresolved reference
1996 · External reference
10.1109/32.910858
10.1109/32.910858 · 2001 · External reference
10.1007/bfb0030541
10.1007/bfb0030541 · 1994 · External reference
Unresolved reference
2003 · External reference
Unresolved reference
2002 · External reference
10.1109/tse.2006.57
10.1109/tse.2006.57 · 2006 · External reference
10.1016/j.entcs.2004.02.080
10.1016/j.entcs.2004.02.080 · 2005 · External reference
10.1093/logcom/9.6.897
10.1093/logcom/9.6.897 · 1999 · External reference
10.1007/978-94-011-5694-3
10.1007/978-94-011-5694-3 · 1997 · External reference
Unresolved reference
2000 · External reference
10.1007/978-3-540-89439-1_41
10.1007/978-3-540-89439-1_41 · 2008 · External reference
Unresolved reference
2007 · External reference
Unresolved reference
2003 · External reference
10.1007/978-3-540-87531-4_23
10.1007/978-3-540-87531-4_23 · 2008 · External reference
Unresolved reference
1997 · External reference
Unresolved reference
2003 · External reference
Unresolved reference
2007 · External reference
10.1007/978-3-540-72734-7_7
10.1007/978-3-540-72734-7_7 · 2007 · External reference
10.1007/11554554_7
10.1007/11554554_7 · 2005 · External reference
10.1007/s10817-006-9051-0
10.1007/s10817-006-9051-0 · 2007 · External reference
Unresolved reference
2010 · External reference
10.1016/j.apal.2009.07.003
10.1016/j.apal.2009.07.003 · 2009 · External reference
Unresolved reference
2003 · External reference
Unresolved reference
2000 · External reference
10.1093/logcom/exn063
10.1093/logcom/exn063 · 2010 · External reference
Unresolved reference
2010 · External reference
Unresolved reference
2011 · External reference
10.1016/j.artint.2005.04.003
10.1016/j.artint.2005.04.003 · 2005 · External reference
10.1109/time.2006.1
10.1109/time.2006.1 · 2006 · External reference
10.1016/0020-0190(91)90122-x
10.1016/0020-0190(91)90122-x · 1991 · External reference
Unresolved reference
1995 · External reference
Unresolved reference
2000 · External reference
Unresolved reference
2000 · External reference
Unresolved reference
1994 · External reference
Unresolved reference
1993 · External reference
10.1016/s0020-0190(98)00027-1
10.1016/s0020-0190(98)00027-1 · 1998 · External reference
10.1007/3-540-61648-9_40
10.1007/3-540-61648-9_40 · 1996 · External reference
Unresolved reference
1999 · External reference
10.1093/logcom/10.6.877
10.1093/logcom/10.6.877 · 2000 · External reference
Unresolved reference
2001 · External reference
Unresolved reference
1994 · External reference
10.1007/bfb0027804
10.1007/bfb0027804 · 1996 · External reference
Unresolved reference
1998 · External reference
Unresolved reference
2004 · External reference
10.1007/bfb0055347
10.1007/bfb0055347 · 1998 · External reference
10.1007/3-540-45739-9_16
10.1007/3-540-45739-9_16 · 2002 · External reference
10.1007/3-540-49059-0_14
10.1007/3-540-49059-0_14 · 1999 · External reference
10.1007/978-3-540-71209-1_17
10.1007/978-3-540-71209-1_17 · 2007 · External reference
Unresolved reference
2003 · External reference
10.1093/logcom/10.2.271
10.1093/logcom/10.2.271 · 2000 · External reference
Unresolved reference
1997 · External reference
Unresolved reference
1996 · External reference
10.1109/32.489079
10.1109/32.489079 · 1996 · External reference
10.1007/bfb0020949
10.1007/bfb0020949 · 1996 · External reference
10.1007/bfb0028779
10.1007/bfb0028779 · 1998 · External reference
10.1016/s1571-0661(04)80480-8
10.1016/s1571-0661(04)80480-8 · 2002 · External reference
10.1007/978-3-540-31980-1_20
10.1007/978-3-540-31980-1_20 · 2005 · External reference
10.1007/978-3-540-45069-6_17
10.1007/978-3-540-45069-6_17 · 2003 · External reference
10.1007/3-540-44585-4_22
10.1007/3-540-44585-4_22 · 2001 · External reference
10.1007/s001650050034
10.1007/s001650050034 · 1999 · External reference
10.1145/174652.174658
10.1145/174652.174658 · 1994 · External reference
10.1002/malq.200310044
10.1002/malq.200310044 · 2003 · External reference
10.1109/real.1989.63561
10.1109/real.1989.63561 · 1989 · External reference
10.1007/bf01211866
10.1007/bf01211866 · 1994 · External reference
Unresolved reference
2008 · External reference
10.1007/3-540-60045-0_48
10.1007/3-540-60045-0_48 · 1995 · External reference
10.1007/3-540-60692-0_70
10.1007/3-540-60692-0_70 · 1995 · External reference
10.1007/3-540-48778-6_5
10.1007/3-540-48778-6_5 · 1999 · External reference
Unresolved reference
2000 · External reference
10.1007/978-3-540-71209-1_15
10.1007/978-3-540-71209-1_15 · 2007 · External reference
10.1093/logcom/exi077
10.1093/logcom/exi077 · 2006 · External reference
Unresolved reference
1992 · External reference
Unresolved reference
2007 · External reference
Unresolved reference
2006 · External reference
10.1016/s0304-3975(01)00046-9
10.1016/s0304-3975(01)00046-9 · 2002 · External reference
10.1007/3-540-45352-0_22
10.1007/3-540-45352-0_22 · 2000 · External reference
10.1007/3-540-45352-0_22
10.1007/3-540-45352-0_22 · 2000 · External reference
Unresolved reference
1998 · External reference
Unresolved reference
1982 · External reference
10.1145/322123.322138
10.1145/322123.322138 · 1979 · External reference
10.7551/mitpress/2516.001.0001
10.7551/mitpress/2516.001.0001 · 2000 · External reference
10.1145/177492.177726
10.1145/177492.177726 · 1994 · External reference
10.1093/jigpal/9.2.273
10.1093/jigpal/9.2.273 · 2001 · External reference
10.1007/bf03037383
10.1007/bf03037383 · 1986 · External reference
Unresolved reference
1987 · External reference
10.1016/0004-3702(93)90109-o
10.1016/0004-3702(93)90109-o · 1993 · External reference
10.1016/0743-1066(93)90035-f
10.1016/0743-1066(93)90035-f · 1993 · External reference
10.1093/oso/9780195138788.001.0001
10.1093/oso/9780195138788.001.0001 · 2001 · External reference
Unresolved reference
1979 · External reference
Unresolved reference
1982 · External reference
Unresolved reference
1976 · External reference
Unresolved reference
1983 · External reference
Unresolved reference
1983 · External reference
10.1016/s0019-9958(84)80039-x
10.1016/s0019-9958(84)80039-x · 1984 · External reference
Unresolved reference
1971 · External reference
10.1023/a:1004602621885
10.1023/a:1004602621885 · 1999 · External reference
10.1016/j.tcs.2005.03.048
10.1016/j.tcs.2005.03.048 · 2005 · External reference
Unresolved reference
2008 · External reference
