TACAS
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Tools and Algorithms for the Construction and Analysis of Systems (TACAS)

(brand of TCS)

1 × Austria
1 × Cyprus
1 × Denmark
1 × Estonia
2 × France
3 × Germany
1 × Hungary
2 × Italy
1 × Poland
2 × Portugal
1 × Spain
2 × The Netherlands
3 × United Kingdom
133 ×#verification
129 ×#named
127 ×#model checking
87 ×#analysis
59 ×#using
53 ×#source code
50 ×#automaton
49 ×#contest
43 ×#abstraction
43 ×#automation

Vocabulary: 1208 words

829 papers in 21 issues:

2015
TACASProceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015)
2014
TACASProceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2014)
2013
TACASProceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013)
2012
TACASProceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2012)
2011
TACASProceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2011)
2010
TACASProceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2010)
2009
TACASProceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009)
2008
TACASProceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2008)
2007
TACASProceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2007)
2006
TACASProceedings of the 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2006)
2005
TACASProceedings of the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2005)
2004
TACASProceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004)
2003
TACASProceedings of the Ninth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2003)
2002
TACASProceedings of the Eighth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2002)
2001
TACASProceedings of the Seventh International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2001)
2000
TACASProceedings of the Sixth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2000)
1999
TACASProceedings of the Sixth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 1999)
1998
TACASProceedings of the Fourth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 1998)
1997
TACASProceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 1997)
1996
TACASProceedings of the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 1996)
1995
TACASProceedings of the First International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 1995)

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.