Sortiert nach
IEEE transactions on computers, 2008-10, Vol.57 (10), p.1315-1330
2008
- Link zum Volltext
Computer (Long Beach, Calif.), 2007-10, Vol.40 (10), p.32-40
2007
- Link zum Volltext
Immunity (Cambridge, Mass.), 2023-01, Vol.56 (1), p.43-57.e10
- Earley, Zachary M.
- Lisicka, Wioletta
- Sifakis, Joseph J.
- Aguirre-Gamboa, Raúl
- Kowalczyk, Anita
- Barlow, Jacob T.
- Shaw, Dustin G.
- Discepolo, Valentina
- Tan, Ineke L.
- Gona, Saideep
- Ernest, Jordan D.
- Matzinger, Polly
- Barreiro, Luis B.
- Morgun, Andrey
- Bendelac, Albert
- Ismagilov, Rustem F.
- Shulzhenko, Natalia
- Riesenfeld, Samantha J.
- Jabri, Bana
2023
Link zum Volltext
Proceedings of the IEEE, 2003-01, Vol.91 (1), p.100-111
2003
- Link zum Volltext
Automatic Verification Methods for Finite State Systems, 2005, p.197-212
2005
Link zum Volltext
Cell, 2022-10, Vol.185 (22), p.4190-4205.e25
- Yang, Daping
- Jacobson, Amanda
- Meerschaert, Kimberly A.
- Sifakis, Joseph Joy
- Wu, Meng
- Chen, Xi
- Yang, Tiandi
- Zhou, Youlian
- Anekal, Praju Vikas
- Rucker, Rachel A.
- Sharma, Deepika
- Sontheimer-Phelps, Alexandra
- Wu, Glendon S.
- Deng, Liwen
- Anderson, Michael D.
- Choi, Samantha
- Neel, Dylan
- Lee, Nicole
- Kasper, Dennis L.
- Jabri, Bana
- Huh, Jun R.
- Johansson, Malin
- Thiagarajah, Jay R.
- Riesenfeld, Samantha J.
- Chiu, Isaac M.
2022
Link zum Volltext
Theoretical computer science, 1995-02, Vol.138 (1), p.3-34
1995
Link zum Volltext
IEEE software, 2011-05, Vol.28 (3), p.41-48
2011
- Link zum Volltext
Information and computation, 1994-06, Vol.111 (2), p.193-244
1994
Link zum Volltext
Automatic Verification Methods for Finite State Systems, 2005, p.232-246
2005
Link zum Volltext
Science of computer programming, 2005-03, Vol.55 (1), p.161-183
2005
Link zum Volltext
International Symposium on Programming, 2005, p.337-351
2005
Link zum Volltext
Information and computation, 1994-10, Vol.114 (1), p.131-178
1994
Link zum Volltext
Embedded Software, 2002, Vol.2491, p.108-122
2002
Link zum Volltext
Formal methods in system design, 1995-01, Vol.6 (1), p.11-44
1995
Link zum Volltext
Embedded Software, 2002, Vol.2491, p.252-265
2002
Link zum Volltext
Formal Methods for the Design of Real-Time Systems, 2004, p.237-267
2004
Link zum Volltext
Lecture notes in computer science, 2005, p.184-185
2005
Link zum Volltext
Automatic Verification Methods for Finite State Systems, 2005, p.24-37
2005
Link zum Volltext
Automata, Languages and Programming, 2005, p.76-92
2005
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Applied Sciences
- Exact Sciences And Technology
- Computer Science; Control Theory; Systems
- Software
- Computer Science, Software Engineering
- Software Engineering
- Life Sciences & Biomedicine
- Humans
- Physical Sciences
- Mathematics
- Mathematics, Applied
- Female
- Adult
- Medicin Och Hälsovetenskap
- Male
- Infectious Diseases
Kollektion
- Ingenta
- SpringerLink Series
- EZB Free E-Journals
- MEDLINE
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Journals@Ovid Complete
- IEEE Xplore Digital Library
- Elsevier ScienceDirect Journals Complete
- IngentaConnect Journals
- SpringerLink Journals (MCLS)
- Wiley Blackwell Single Titles
- Single Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ACM Digital Library
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- JSTOR Complete Journals
- Wiley Online Library Full Collection 2018
- EBSCOhost Business Source Ultimate
- Nexis
Zeitschrift / Serie
Neu hinzugefügt