Difference between revisions of "TACAS 1999"
		
		
		
		
		
		Jump to navigation
		Jump to search
		
				
		
		
	
 (modified through wikirestore by orapi)  | 
				 (modified through wikirestore by orapi)  | 
				||
| Line 23: | Line 23: | ||
|Submitted papers=82  | |Submitted papers=82  | ||
|DblpConferenceId=tacas/tacas99  | |DblpConferenceId=tacas/tacas99  | ||
| + | |TibKatId=334055296  | ||
|wikidataid=Q106426960  | |wikidataid=Q106426960  | ||
}}  | }}  | ||
The 5. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 1999  | The 5. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 1999  | ||
Latest revision as of 02:26, 11 December 2021
Event Rating
| median | worst | 
|---|---|
List of all ratings can be found at TACAS 1999/rating
| TACAS 1999 | |
|---|---|
International Conference on Tools and Algorithms for the Construction and Analysis of Systems 
 | |
| Ordinal | 5 | 
| Event in series | TACAS | 
| Subevent of | ETAPS 1999 | 
| Dates | 1999-03-22 (iCal) - 1999-03-28 | 
| Presence | presence | 
| Homepage: | https://www.csc.ncsu.edu/tacas99/ | 
| Location | |
| Location: | NL/NH/Amsterdam, NL/NH, NL | 
| Papers: | Submitted 82 / Accepted 28 (34.1 %) | 
| Committees | |
| PC chairs: | W. Rance Cleaveland II | 
| Keynote speaker: | Jeff Kramer, Jeff Magee | 
| Table of Contents | |
The 5. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 1999