Home > Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach
"Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach" - similar Books and Chapters
Showing 1 to 20 of 100 entries
| Book | Author(s) | Year | Publisher |
2006 | Springer-Verlag Berlin Heidelberg | ||
2006 | Springer Berlin Heidelberg | ||
1998 | Springer US | ||
2001 | Springer Berlin Heidelberg | ||
1987 | Springer Berlin Heidelberg | ||
2004 | Springer Berlin Heidelberg | ||
2001 | Springer Berlin Heidelberg | ||
2013 | Springer Berlin Heidelberg | ||
1999 | Springer Berlin Heidelberg | ||
1991 | Springer Berlin Heidelberg | ||
1986 | Springer Berlin Heidelberg | ||
1988 | Springer Berlin Heidelberg | ||
1992 | Springer Berlin Heidelberg | ||
1993 | Springer Berlin Heidelberg | ||
1991 | Springer Berlin Heidelberg | ||
1990 | Springer Berlin Heidelberg | ||
1987 | Springer-Verlag Berlin Heidelberg | ||
1985 | Springer-Verlag Berlin Heidelberg | ||
1985 | Springer Berlin Heidelberg | ||
1987 | Springer Berlin Heidelberg | ||
| Boook | Author(s) | Year | Publisher |
Showing 1 to 20 of 100 entries
| Chapter | Author(s) | Book | Book Authors | Year | Publisher |
1997 | Springer Berlin Heidelberg | ||||
2006 | Springer Berlin Heidelberg | ||||
1994 | Springer Berlin Heidelberg | ||||
2011 | Springer Berlin Heidelberg | ||||
2007 | Springer Berlin Heidelberg | ||||
2004 | Springer Berlin Heidelberg | ||||
2008 | John Wiley & Sons | ||||
2005 | Springer Berlin Heidelberg | ||||
2013 | Springer Berlin Heidelberg | ||||
2019 | Routledge | ||||
2017 | John Wiley & Sons | ||||
2002 | John Wiley & Sons | ||||
2005 | Springer Berlin Heidelberg | ||||
2005 | Springer Berlin Heidelberg | ||||
1993 | Springer Berlin Heidelberg | ||||
2003 | Springer Berlin Heidelberg | ||||
1995 | Springer Berlin Heidelberg | ||||
[1995], ©1995. | Springer, | ||||
1998 | Springer US | ||||
2008 | Springer Berlin Heidelberg | ||||
| Chapter | Author(s) | Book | Book Authors | Year | Publisher |